c NOTE: Satisfiable
c
p cnf 200 400
38 164 -168 0
38 125 -164 0
38 -125 -164 0
-38 -168 174 0
-38 -168 -174 0
9 168 188 0
-9 168 188 0
-152 168 -188 0
-151 152 -188 0
66 110 152 0
66 110 -167 0
-66 102 110 0
-66 -102 -188 0
-110 127 152 0
32 -127 -190 0
-32 -110 -190 0
-110 122 -127 0
15 107 -122 0
-15 107 -127 0
2 -28 47 0
-2 -28 47 0
-2 -39 47 0
-28 -47 -122 0
-2 -107 -122 0
28 -107 136 0
28 109 130 0
28 130 -136 0
39 93 -130 0
-39 93 -136 0
5 6 20 0
5 6 -26 0
-6 -26 -130 0
-5 -26 -130 0
60 -93 112 0
9 60 -112 0
-9 60 -112 0
-60 92 -93 0
-60 -92 200 0
-60 64 -141 0
-64 -141 -200 0
35 71 -92 0
-35 71 83 0
71 -83 -200 0
-71 -99 -200 0
-15 -71 99 0
55 -71 99 0
3 49 80 0
-55 -80 103 0
49 -80 -103 0
-3 49 99 0
-49 -55 -189 0
-49 -55 91 0
-49 51 68 0
51 -68 -91 0
-32 -51 -91 0
-51 -91 -156 0
32 -51 89 0
32 58 192 0
-58 126 192 0
-89 -126 192 0
-66 -89 -192 0
-89 144 -192 0
-144 -192 -197 0
-83 -144 197 0
-38 -144 197 0
-80 83 197 0
80 83 -139 0
134 139 167 0
134 139 -167 0
11 18 80 0
-11 18 -134 0
86 155 199 0
-18 86 -155 0
-86 -134 199 0
-18 -94 -134 0
1 -18 -174 0
-1 -174 -199 0
94 -135 -199 0
94 -100 148 0
-100 -148 174 0
-8 -100 -148 0
-44 135 174 0
44 135 146 0
-11 44 -146 0
-24 94 -146 0
-24 44 -94 0
24 -129 -146 0
24 129 181 0
84 129 132 0
84 129 -181 0
-5 92 -181 0
-5 -84 -92 0
-78 -84 128 0
-78 -128 -181 0
78 -84 -171 0
17 78 96 0
17 -96 171 0
57 148 171 0
-32 56 57 0
-56 57 171 0
-57 148 190 0
-17 -57 -190 0
-17 -148 183 0
78 131 -183 0
-17 -78 131 0
76 169 -183 0
65 76 -131 0
-65 76 -183 0
-65 -76 -131 0
-8 -76 -131 0
8 -57 -76 0
8 65 67 0
8 -67 -69 0
-67 69 70 0
-67 -70 105 0
-30 -70 -105 0
-70 73 -105 0
-73 -105 173 0
-73 -155 -173 0
-73 95 -173 0
27 52 96 0
27 52 -95 0
-27 52 -173 0
-52 -95 158 0
-39 -52 -95 0
-46 -52 -158 0
-46 -125 -158 0
39 61 -158 0
39 -61 -182 0
-108 182 198 0
-61 -108 182 0
-16 -61 108 0
-37 108 127 0
16 -37 108 0
10 27 37 0
10 16 -27 0
-10 135 166 0
77 -135 166 0
-10 -135 166 0
-10 21 -166 0
-21 -56 -166 0
113 116 173 0
113 116 -166 0
-21 113 -116 0
-21 -113 -123 0
-90 -113 123 0
107 -113 191 0
-107 123 191 0
-120 123 -191 0
-103 116 120 0
-103 -116 -191 0
160 162 -191 0
120 -160 162 0
-62 120 -162 0
62 119 -162 0
-44 62 119 0
36 -119 -162 0
-36 -119 154 0
-8 -119 154 0
-36 121 136 0
121 -136 -154 0
24 -35 -154 0
-24 -35 -36 0
-121 -140 159 0
-121 -140 -159 0
-121 132 140 0
9 -132 140 0
-9 -132 133 0
23 -132 -133 0
-23 -68 -133 0
-23 79 -133 0
-23 -79 -102 0
68 -79 -86 0
-48 -79 102 0
48 87 102 0
-72 -87 156 0
48 59 -72 0
-59 -72 -156 0
48 -87 157 0
-4 -157 199 0
-4 -87 -199 0
4 -157 165 0
-112 -157 -165 0
4 114 -165 0
6 -114 -165 0
-6 -114 117 0
-117 163 175 0
-163 175 -193 0
-114 -175 -193 0
-6 19 -117 0
-42 -117 198 0
-42 127 -198 0
-19 -42 -198 0
-19 -179 193 0
-19 -145 179 0
42 -47 179 0
138 145 179 0
137 -138 145 0
14 16 -77 0
14 -16 125 0
14 -77 -137 0
-14 -77 96 0
-14 -96 -138 0
-137 -138 175 0
-43 -137 -175 0
-64 77 105 0
-64 77 -175 0
37 93 -186 0
43 -93 -186 0
-37 43 -186 0
43 75 186 0
-75 115 186 0
-75 -115 -116 0
22 -75 -115 0
-22 54 144 0
54 -74 144 0
-22 54 -115 0
-22 41 -54 0
-33 -41 -54 0
-41 -58 86 0
-54 -58 -86 0
33 -41 153 0
33 -150 -153 0
-74 106 -153 0
58 -74 -106 0
74 -125 -153 0
69 74 -172 0
-69 142 -172 0
-69 125 -172 0
74 -160 172 0
118 160 172 0
154 172 177 0
-118 -154 177 0
63 -118 -177 0
-118 -126 -177 0
-27 -63 -177 0
40 46 -63 0
-46 -63 126 0
-40 147 151 0
104 147 -151 0
126 147 -151 0
-40 -81 -147 0
-40 -147 -198 0
81 -147 -185 0
112 143 185 0
81 143 180 0
81 143 -180 0
-128 -143 185 0
-7 -143 185 0
7 -143 -164 0
7 62 142 0
-62 104 164 0
-104 142 164 0
37 50 -142 0
7 50 -142 0
-50 111 159 0
111 -142 -159 0
-14 -50 -111 0
-50 160 161 0
-111 -160 161 0
-111 -161 169 0
-12 -161 -169 0
140 -169 194 0
-140 -161 194 0
-106 -169 -194 0
20 106 -194 0
-20 -85 -194 0
-20 85 -163 0
-20 85 184 0
-59 85 -184 0
163 176 -184 0
98 -176 -184 0
-98 -170 -176 0
53 -98 -176 0
-53 -98 109 0
29 -53 -109 0
109 156 -178 0
-29 156 -178 0
-53 -156 -178 0
51 88 -109 0
-29 88 -109 0
-29 -88 -167 0
-25 -88 178 0
-25 -99 163 0
-99 -163 178 0
-88 167 -187 0
-159 167 187 0
25 -45 187 0
31 -149 187 0
-31 45 -149 0
45 82 149 0
45 -82 195 0
-82 104 -195 0
-82 -124 -195 0
-104 -180 -195 0
34 -104 180 0
-3 -34 180 0
3 13 -34 0
-13 -31 -34 0
-1 3 -13 0
-13 31 -96 0
1 31 -196 0
98 -101 196 0
1 -101 196 0
97 101 193 0
97 101 -193 0
-81 -101 186 0
61 -97 136 0
-4 137 -150 0
-31 87 100 0
-106 133 196 0
150 -150 169 0
146 165 183 0
40 -56 -152 0
30 63 -120 0
138 146 158 0
-7 -43 115 0
13 117 130 0
64 97 161 0
4 -59 68 0
-45 -65 134 0
67 100 177 0
73 88 91 0
29 -44 84 0
165 188 200 0
63 92 173 0
75 118 190 0
155 162 -170 0
-16 -47 137 0
73 -189 -196 0
82 124 198 0
-85 -90 183 0
-15 119 122 0
20 55 178 0
70 -85 170 0
33 122 -152 0
-33 59 -90 0
-102 182 194 0
56 131 132 0
22 -43 -187 0
64 128 -171 0
-30 124 170 0
69 115 -145 0
-62 -141 -187 0
12 -123 170 0
-68 95 -179 0
-12 151 157 0
36 -126 189 0
26 105 -129 0
98 149 -155 0
-48 50 106 0
21 23 46 0
19 176 -196 0
-7 46 -129 0
5 36 112 0
13 19 89 0
133 -179 200 0
121 -180 195 0
111 139 -170 0
-1 66 193 0
150 184 190 0
35 -128 -145 0
42 153 158 0
11 41 101 0
10 -33 141 0
2 82 89 0
53 72 -97 0
65 -108 -124 0
23 61 -94 0
17 21 -97 0
29 -123 124 0
87 114 184 0
58 -185 195 0
2 117 191 0
-45 79 91 0
-48 -124 149 0
-3 -182 -197 0
53 100 151 0
-12 25 75 0
42 79 -197 0
15 56 176 0
12 -139 -185 0
18 -81 155 0
114 -120 150 0
40 -149 -182 0
67 90 145 0
12 -139 159 0
26 189 -189 0
-11 34 141 0
26 95 181 0
15 -25 34 0
11 25 138 0
41 128 153 0
35 59 118 0
70 72 157 0
-83 181 189 0
103 103 -171 0
55 72 90 0
22 30 141 0
30 -30 90 0