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