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