c an ALC problem
p cnf 11 29
-1 2 -3 0
-1 4 -3 0
-1 5 -3 0
-1 -6 -3 0
-1 -3 0
-1 -7 6 0
-1 -8 9 0
-1 -10 11 0
1 0
-2 6 3 10 0
-2 9 3 10 0
-2 11 3 10 0
-4 6 3 10 0
-4 9 3 10 0
-4 11 3 10 0
-5 6 3 10 0
-5 9 3 10 0
-5 11 3 10 0
-2 6 3 -11 0
-2 9 3 -11 0
-2 11 3 -11 0
-4 6 3 -11 0
-4 9 3 -11 0
-4 11 3 -11 0
-5 6 3 -11 0
-5 9 3 -11 0
-5 11 3 -11 0
3 10 0
3 -11 0