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