p cnf 30 22
9 -4 0
-12 6 0
-6 9 -1 0
21 0
-18 0
-27 -14 28 7 -30 0
19 6 0
15 0
-4 -13 -7 -20 0
23 0
12 -19 0