p cnf 3 3
1 0
-1 3 0
-1 -2 -3 0