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