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