p cnf 295 441
253 -218 0
-92 -46 0
-2 -285 0
-275 -256 0
-118 -141 0
118  141 0
19 -154 0
272 -208 0
249 -171 0
84 -196 0
-119  216 0
-33 -277 0
45 73 0
-238 225 0
-292 -206 0
165 -217 0
-102 -271 0
-7  111 0
-71 -91 0
-29 -274 0
29  274 0
260 -6 0
-49 -239 0
-107 209 0
150  120 0
-155 -243 0
-267  207 0
169 -203 0
69 -276 0
9 -287 0
42 221 0
11 112 0
148 -3 0
262 -188 0
-280 -55 0
-150 -120 0
-11 112 0
109 -139 0
-260 6 0
-126 -279 0
286 -106 0
20 30 0
123  82 0
-174 66 0
249  171 0
-33 277 0
-246 97 0
201 -110 0
143 -83 0
7 -111 0
47 -79 0
172 -291 0
-164 -204 0
144 -48 0
-47  79 0
-20 -30 0
50 153 0
-242 74 0
113 37 0
191 -93 0
-160 -159 0
-98 8 0
132 -138 0
-247 -158 0
-238 -225 0
-2 285 0
122  215 0
-113 37 0
-261  17 0
-231  31 0
147 177 0
174 -66 0
-245 117 0
29 -274 0
129 -251 0
-143  83 0
57 -173 0
-253 218 0
-259 142 0
-96  162 0
130  88 0
129  251 0
-265 -192 0
292 -206 0
-257 266 0
90 -75 0
194  244 0
253 218 0
240 190 0
-144 -48 0
-295 100 0
-71 91 0
275 -256 0
122 -215 0
-94 241 0
42 -221 0
175 200 0
232 198 0
127 -15 0
152 -25 0
-67 -18 0
-288 176 0
286 106 0
-96 -162 0
-61  64 0
262 188 0
102  271 0
-212 -63 0
-57 -173 0
-28 41 0
-247  158 0
32 -185 0
-130 -88 0
89 -161 0
193 -168 0
-5 195 0
265 -192 0
167 -179 0
-167 -179 0
-28 -41 0
-258 -163 0
-267 -207 0
2 285 0
155 -243 0
205 -137 0
71 91 0
-44 -128 0
-222 273 0
261 -17 0
52 -283 0
16 -135 0
65  43 0
96 -162 0
-59  199 0
250  51 0
250 -51 0
-99 24 0
-40 -145 0
-7 -111 0
-5 -195 0
26 -180 0
121  23 0
-269  58 0
210 213 0
-294 10 0
234 -34 0
-184 -39 0
-250 -51 0
-127 -15 0
-134 -293 0
-261 -17 0
295 -100 0
68 -149 0
-60 182 0
-197 80 0
-21 -151 0
-272 208 0
33 277 0
-232 -198 0
134 -293 0
-119 -216 0
-210 213 0
-156 -181 0
184  39 0
60 182 0
-275  256 0
-264 62 0
99 24 0
-166 -76 0
-187  224 0
-234 34 0
-186  95 0
-284 270 0
269 -58 0
263 -115 0
98 -8 0
-103 -236 0
295 100 0
-59 -199 0
-67  18 0
150 -120 0
230  54 0
226 -116 0
247 -158 0
77 -178 0
-172 -291 0
-281 -104 0
-1 14 0
265  192 0
187 -224 0
197 80 0
19 154 0
289  237 0
67 -18 0
132 138 0
-114 -27 0
165 217 0
-56 -183 0
278 -87 0
126  279 0
-19 154 0
258 -163 0
-191  93 0
288 -176 0
212 -63 0
-197 -80 0
-61 -64 0
146 233 0
-44  128 0
-129 -251 0
65 -43 0
230 -54 0
-152 -25 0
-146 233 0
-170  282 0
26  180 0
-78  248 0
-9 -287 0
32 185 0
-92  46 0
231 -31 0
226  116 0
-127  15 0
21 -151 0
-278  87 0
280 -55 0
-131 -38 0
-193 168 0
-52  283 0
-249 -171 0
264 62 0
-77 -178 0
16  135 0
294 -10 0
170 -282 0
234 34 0
-290 -211 0
156 -181 0
245 -117 0
189 -214 0
-136  235 0
-167  179 0
-187 -224 0
172  291 0
186 -95 0
-89 161 0
257 -266 0
288 176 0
245 117 0
113 -37 0
40 145 0
-166 76 0
118 -141 0
22 -85 0
70 -124 0
255 105 0
-136 -235 0
-286 106 0
92 -46 0
1 14 0
56  183 0
-78 -248 0
246 97 0
-231 -31 0
267 -207 0
121 -23 0
114 -27 0
108  202 0
-40 145 0
254 86 0
-13 35 0
-121 -23 0
-52 -283 0
-175 200 0
-268 -36 0
-189 -214 0
-134  293 0
126 -279 0
194 -244 0
205 137 0
-84 -196 0
-169 -203 0
-11 -112 0
81  252 0
259 142 0
-219 -227 0
-226 -116 0
169  203 0
-194 -244 0
-147 -177 0
-146 -233 0
-4  72 0
268 36 0
-131 38 0
-45 73 0
45 -73 0
-191 -93 0
-133 157 0
89 161 0
-165 217 0
84  196 0
-268 36 0
-152  25 0
-269 -58 0
-50 153 0
94 -241 0
-290  211 0
-264 -62 0
53 229 0
228 -12 0
-222 -273 0
28 41 0
-148 -3 0
-170 -282 0
22  85 0
-262 188 0
-254 86 0
-242 -74 0
-26 -180 0
102 -271 0
166 76 0
49 -239 0
-189  214 0
184 -39 0
108 -202 0
123 -82 0
-107 -209 0
-143 -83 0
-284 -270 0
-156  181 0
238 225 0
-205 137 0
-263 -115 0
-22 -85 0
-175 -200 0
125 -140 0
-230 -54 0
-232 198 0
254 -86 0
-70 -124 0
-212  63 0
242 74 0
160  159 0
69  276 0
-70  124 0
-68 -149 0
-263  115 0
-201 110 0
-60 -182 0
131 38 0
-47 -79 0
56 -183 0
-278 -87 0
130 -88 0
-122 -215 0
119 -216 0
-1 -14 0
133 -157 0
-155  243 0
-123 -82 0
281  104 0
290 -211 0
68  149 0
-53 -229 0
193 168 0
-81 -252 0
81 -252 0
201 110 0
61 -64 0
294 10 0
-114  27 0
50 -153 0
289 -237 0
258  163 0
-132 138 0
-125 -140 0
-32 185 0
-228 -12 0
-103  236 0
-69 -276 0
13 35 0
-4 -72 0
-109 -139 0
-125  140 0
-108 -202 0
90  75 0
164 -204 0
-65 -43 0
-16 -135 0
174 66 0
94 241 0
144  48 0
-77  178 0
-9  287 0
-240 190 0
223 -101 0
-186 -95 0
-90 -75 0
219 -227 0
44 -128 0
281 -104 0
-21  151 0
13 -35 0
-99 -24 0
-42 221 0
-292  206 0
-20 30 0
-228  12 0
49  239 0
57  173 0
-223 -101 0
-255 105 0
78 -248 0
-148  3 0
-53 229 0
-246 -97 0
103 -236 0
-219  227 0
-289 -237 0
4 -72 0
222 273 0
98 8 0
280  55 0
107 209 0
284 270 0
133 157 0
272 208 0
-223  101 0
260 6 0
257 266 0
160 -159 0
109  139 0
-255 -105 0
240 -190 0
5 195 0
-210 -213 0
-259 -142 0
-164  204 0
-147 177 0
59 -199 0
136 -235 0