c status 10
c --eliminateinit=0
c --subsumeclslim=0
c --tumble=0
p cnf 18 9
-7 -3 0
7 6 -14 0
-6 9 2 0
-8 11 1 0
12 18 -3 0
-15 -10 0
-3 -16 0
-13 -17 14 0
5 4 16 0