p cnf 4 8
-2 -1 3 0
-4 2 0
-3 0
-3 -4 0
3 -1 -2 0
2 -4 -1 0
-2 0
2 -2 0