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