c status 10
c --probeinit=0
p cnf 34 25
10 5 0
3 -1 9 0
-6 7 0
3 10 1 0
-1 3 4 0
1 -6 0
-11 -2 0
8 10 0
-9 4 3 0
-4 9 0
4 -10 9 0
-26 14 0
-30 -31 0
16 -17 0
30 -16 0
-29 13 0
27 23 0
-21 -25 0
31 -18 0
-24 -33 0
19 22 0
26 15 0
-20 -16 0
-28 34 0
-12 32 0