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