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