pq.cnf

c Command: sgen4 -n 101 -sat 
p cnf 105 252
97 -75 0
-74 -78 0
44 83 -101 103 1 0
47 42 0
65 -98 -96 18 20 0
-11 61 0
-1 96 0
-28 -39 0
-88 -37 0
-36 -4 0
-27 -57 0
-97 18 57 4 44 0
-53 -75 0
93 -31 0
-86 -65 0
91 76 0
-55 -65 0
52 102 9 31 -71 0
-32 49 0
35 -95 0
-80 19 0
25 55 23 -89 77 0
24 70 0
68 72 0
-32 41 0
97 71 0
-90 -80 0
-5 -26 0
-91 -66 88 105 -24 0
96 29 0
54 63 0
-20 -74 0
-16 91 0
19 -90 0
72 -64 0
-75 15 0
-77 43 0
35 34 0
41 10 0
-52 99 0
-65 38 0
76 -16 0
-36 -92 0
72 101 0
14 -31 0
65 -3 -43 75 -22 0
89 -1 0
41 -30 0
49 10 0
-45 16 37 58 78 0
60 -52 0
-92 -105 0
51 -84 88 -63 23 0
-43 -73 -87 -50 -91 0
-39 -74 0
59 84 0
-80 -94 0
92 74 -81 5 77 0
-49 5 103 9 90 0
-56 -10 -14 13 25 0
63 -18 0
-44 -40 0
89 29 0
-4 -92 0
70 61 0
46 45 0
-85 86 -60 -76 57 0
-17 -83 0
-57 -48 0
56 -37 0
-88 6 0
50 -51 0
-7 -80 0
62 -92 0
19 -94 0
14 -8 0
-83 33 0
-41 -6 -54 17 -29 0
56 6 0
-102 -55 0
-36 -105 0
-104 -103 0
21 -23 0
-64 98 0
74 -93 -15 32 -60 0
-34 -97 -6 90 -61 0
-4 -105 0
-30 -32 0
-11 24 0
68 -64 0
-8 66 0
-23 -52 0
-7 19 0
-1 29 0
96 89 0
-20 -78 0
98 68 0
-100 -5 0
-55 38 0
-55 -86 0
-26 -13 0
34 50 0
-52 21 0
-27 -77 0
-67 -103 0
56 -88 0
-90 -94 0
-27 -48 0
43 -27 0
-5 87 0
59 -17 0
-45 -2 -72 4 -89 0
50 35 0
82 -40 0
-70 -46 17 80 -3 0
-102 -86 0
2 24 0
95 -79 37 -93 -33 0
-58 -40 0
85 -1 0
80 -21 -101 92 -56 0
54 47 0
82 81 0
99 -23 0
104 -84 53 -98 -76 0
66 14 0
-36 62 0
-69 46 0
-69 -12 0
97 15 0
-18 54 0
-12 45 0
-77 -48 0
101 68 0
87 -26 0
78 -41 104 -38 -21 0
45 -69 0
-102 -65 0
-75 71 0
-95 -51 0
-68 8 -22 11 100 0
61 24 0
40 86 30 64 -61 0
-9 -25 0
3 79 0
-95 50 0
-11 2 0
-9 91 0
84 33 0
91 -25 0
59 33 0
14 93 0
-58 -44 0
-25 -16 0
56 22 0
-20 -28 0
98 101 0
-28 -74 0
73 46 0
98 72 0
-28 -78 0
82 -44 0
71 -53 0
96 85 0
89 85 0
81 -40 0
-26 -100 0
-10 -68 48 51 -46 0
-49 28 55 -59 69 0
-73 11 -79 -42 52 0
62 -4 0
34 -51 0
1 -71 -70 13 95 0
-31 -8 0
-18 47 0
79 -67 0
-58 82 0
54 42 0
-102 38 0
7 -29 26 -24 53 0
101 -64 0
84 -83 0
10 -32 0
99 21 0
-48 43 0
48 -54 39 -82 -66 0
34 -95 0
-23 60 0
93 -8 0
-39 -78 0
67 39 -50 36 -85 0
41 49 0
-58 81 0
-20 -39 0
36 -99 75 30 -19 0
10 -30 0
3 -67 0
73 45 0
93 66 0
-100 87 0
32 -42 105 58 94 0
63 47 0
-33 -62 12 26 102 0
-7 -94 0
22 6 0
-12 46 0
22 -37 0
97 -53 0
2 70 0
-86 38 0
-53 15 0
-13 -5 0
-9 -16 0
-13 87 0
-67 -104 0
-100 -13 0
6 -37 0
59 -83 0
-88 22 0
-81 -19 -14 69 -96 0
15 71 0
81 -44 0
-103 79 0
76 -25 0
-47 -38 -35 7 8 0
43 -57 0
28 31 -87 -63 -72 0
-11 70 0
100 -99 -59 -34 -82 0
-69 73 0
2 61 0
85 29 0
-51 35 0
63 42 0
99 60 0
27 64 -35 16 -62 0
3 -104 0
79 -104 0
73 -12 0
62 -105 0
20 83 27 94 -2 0
-17 33 0
-15 -47 67 40 12 0
60 21 0
-31 66 0
-57 -77 0
49 -30 0
-90 -7 0
3 -103 0
84 -17 0
-9 76 0
-18 42 0