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