c an ALC problem
p cnf 4 9
-1 -2 3 0
-2 3 0
-1 -3 0
-2 -3 0
1 0
1 4 0
2 3 0
-4 4 0
-3 3 0