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