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