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