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