c an ALC problem
p cnf 8 34
1 0
2 0
3 4 0
3 -5 0
-1 -2 -3 0
-6 -2 -3 0
-4 -2 -3 0
-2 -1 7 0
-2 -1 5 0
-2 -1 8 0
-1 -2 -6 7 0
-1 -2 -6 5 0
-1 -2 -6 8 0
-1 -2 -4 7 0
-1 -2 -4 5 0
-1 -2 -4 8 0
-6 -2 -1 7 0
-6 -2 -1 5 0
-6 -2 -1 8 0
-2 -6 7 0
-2 -6 5 0
-2 -6 8 0
-6 -2 -4 7 0
-6 -2 -4 5 0
-6 -2 -4 8 0
-4 -2 -1 7 0
-4 -2 -1 5 0
-4 -2 -1 8 0
-4 -2 -6 7 0
-4 -2 -6 5 0
-4 -2 -6 8 0
-2 -4 7 0
-2 -4 5 0
-2 -4 8 0