p cnf 6 7
-1 2 0
-1 3 0
-2 -3 4 0
-4 5 0
-4 6 0
-5 -6 -1 0
1 0