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