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