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