c forge.problem 3sat
p cnf 41 159
-34 15 0
23 16 -21 0
-17 -29 0
3 16 -23 0
22 -8 3 0
-26 -11 0
16 23 -33 0
16 23 -8 0
-11 -38 0
21 -16 0
-27 -9 0
16 -12 -23 0
-38 24 0
10 32 0
-41 6 0
39 -34 0
-16 38 2 0
17 20 -34 0
23 -36 0
-18 35 -17 0
-22 -32 -9 0
-16 -9 0
10 -20 0
7 -37 0
6 32 0
-12 -6 41 0
7 31 -11 0
-16 33 0
12 32 0
-23 -22 0
26 11 0
2 -20 34 0
34 -31 2 0
18 -2 0
22 35 0
28 6 0
-12 -28 -6 0
32 -16 0
-12 -17 16 0
9 32 0
-21 -34 0
36 -27 0
-36 17 0
40 -31 0
12 28 0
-39 34 2 0
13 18 0
34 -24 -15 0
-16 -29 -6 0
10 -22 0
18 -34 0
11 40 0
-3 23 0
9 27 0
13 -31 0
-35 -22 39 0
18 22 0
-23 -13 0
22 -20 0
-4 -34 0
18 23 11 0
-32 -9 -10 0
-17 1 0
-34 -17 31 0
-11 -40 31 0
-2 22 0
36 -23 0
-10 -18 20 0
-12 29 16 0
-20 11 23 0
-31 17 0
-16 -4 0
24 29 0
-13 10 40 0
-36 27 0
-2 -38 0
6 29 0
22 -31 0
-13 -7 37 0
-19 17 0
-16 5 0
-22 26 0
6 -17 16 0
21 -2 0
22 25 23 0
25 19 0
19 -17 0
-17 -20 0
13 -26 0
-29 12 0
17 -2 20 0
-28 -16 10 0
21 11 38 0
-18 -37 20 0
-13 22 0
-23 1 0
-23 33 0
-17 23 5 0
-4 28 0
-5 16 -2 0
-29 -23 0
-17 31 -2 0
-23 -25 0
-38 -4 0
-16 12 0
-23 14 -16 0
-22 -25 0
13 -22 0
9 10 -28 0
35 -39 0
-9 4 -28 0
17 -1 0
13 -20 0
11 23 -31 0
24 30 0
13 23 25 0
-16 -3 0
38 -23 2 0
2 -21 38 0
-14 16 0
2 5 0
14 8 -16 0
-23 17 0
-7 -31 0
-24 -30 16 0
-10 22 0
-17 33 -21 0
29 17 0
18 10 0
-6 17 0
11 -7 0
-29 30 -17 0
16 -2 23 0
-27 16 0
-13 26 -25 0
-4 9 0
-16 24 0
23 -14 0
22 -34 0
-2 39 0
17 24 0
30 -16 0
22 3 -17 0
13 -37 0
-34 24 0
18 17 0
4 21 15 0
15 24 0
9 16 0
-24 4 38 0
12 -41 0
-32 -41 -9 0
21 -23 0
12 17 0
-23 14 8 0
-32 -22 28 0
-21 -11 0
28 -10 -32 0
-14 -8 0