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