c status 10
c --failedmineff=0
c --probeinit=0
c --probeint=0
c --reduceinit=0
c --substitutelim=0
c --ternarymineff=0
c --vivifymineff=0
p cnf 40 49
-9 25 -5 0
24 12 0
25 10 -2 0
6 22 0
-19 12 -16 0
4 -18 0
19 -1 0
-24 -7 10 0
-18 17 0
-9 8 0
-23 -25 0
-21 8 0
2 24 0
-15 -10 0
9 -14 0
-22 -4 -10 0
2 16 0
15 4 -3 0
-2 14 13 0
24 28 -11 0
27 -17 0
20 29 0
10 -27 0
-29 13 0
-12 14 0
-35 -30 26 0
34 7 0
-28 -30 -33 0
31 -26 0
-8 -6 0
32 30 0
31 -20 0
35 23 0
-13 -2 0
18 5 0
-26 28 0
-34 30 33 0
-28 -32 -31 0
19 26 0
40 1 0
38 39 0
-33 30 0
33 -40 -30 0
7 -36 0
11 33 0
35 -38 0
-37 3 0
40 -37 0
34 21 0