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