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