c forge.problem sat
p cnf 32 167
-20 -21 -12 0
-21 25 -12 0
-31 -5 0
-24 30 0
-16 -15 0
-2 29 9 13 0
-21 30 0
6 13 -2 9 0
26 -15 -22 0
-26 10 0
28 -8 0
-24 -27 0
-27 2 3 -26 0
13 -3 23 0
-25 -17 0
-26 15 0
5 31 0
9 19 0
25 -2 17 0
-5 8 0
-32 -11 26 0
25 -4 20 0
23 -26 -2 0
25 -27 -12 0
-14 -26 -2 0
13 -26 9 29 0
12 21 27 0
24 -8 23 0
-31 22 0
-26 -2 9 0
-9 -13 0
-10 25 0
-7 -2 18 -26 0
23 21 -30 32 0
-2 9 -14 13 0
7 -20 0
-21 24 0
26 2 18 6 0
22 -26 0
-25 29 -2 26 0
-7 -9 18 0
-22 28 -4 0
27 13 -3 24 0
29 18 -7 0
-7 -14 18 0
-29 14 -13 0
9 2 26 0
16 2 25 0
2 26 -17 0
31 2 18 0
-9 -19 0
-7 -27 -12 0
4 -20 0
-18 9 -2 0
26 2 -13 0
-14 13 -26 9 0
18 -9 6 0
30 2 0
-26 -2 -29 3 0
-6 29 0
-26 -19 0
-27 -25 31 4 0
25 23 13 0
-23 8 0
-22 31 0
28 2 -8 0
-26 13 9 6 0
26 -14 2 0
31 28 0
-23 -13 0
-31 -20 0
-17 -2 -26 0
-18 9 -26 0
-21 -12 -7 0
23 -27 0
32 -26 0
25 19 0
3 -2 -25 26 -27 0
-12 -27 -31 0
25 -26 0
7 -1 0
10 -14 0
-4 -31 0
28 -25 -8 0
-31 -7 0
-28 4 5 0
-2 6 18 -26 0
25 3 -29 0
-2 -26 11 0
26 14 -25 -2 0
26 19 -2 0
-14 3 0
-26 -11 2 0
23 -24 21 0
-23 -21 0
-28 8 0
-25 -16 0
24 32 -30 0
-26 7 9 14 -29 0
-30 21 23 0
-4 -5 0
31 -26 0
-32 26 -2 0
27 20 -4 21 0
-14 -6 0
-3 10 0
4 22 5 0
21 -25 23 -30 0
-20 1 0
31 7 0
32 2 0
26 19 0
13 24 25 27 0
4 -25 31 -21 0
25 -14 0
2 23 26 0
-26 30 0
-12 25 -20 0
-13 -6 0
-25 12 31 0
28 -5 0
31 18 -9 0
-2 -13 -26 0
-30 -25 24 0
-8 -26 28 0
24 27 2 0
15 22 0
-14 18 31 0
11 26 -31 0
-23 26 3 -25 -2 0
26 2 -29 3 0
-26 -5 0
9 14 -2 -29 7 0
-27 -20 -12 0
-11 -25 0
27 -25 31 21 1 0
-14 -9 18 0
-24 8 0
-18 7 0
20 -7 0
10 -25 0
-12 25 -7 0
-16 -26 -2 0
23 -26 21 0
-3 -26 14 2 0
-18 -6 0
14 2 -26 0
1 12 0
16 -17 0
-21 -12 -31 0
2 -26 0
24 -30 0
27 -23 24 0
-3 29 0
-7 1 0
-30 -2 26 0
29 -26 2 0
18 31 29 0
-27 -13 0
-1 -31 0
26 -7 18 2 0
3 -10 0
-26 24 0
-2 -16 17 0
11 25 32 0
14 6 -29 0
2 3 -26 -23 0