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