c an ALC problem
p cnf 1 3
-1 1 0
1 0
-1 0