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