c This Formular is generated by mcnf
c
c    horn? no 
c    forced? no 
c    mixed sat? no 
c    clause length = 3 
c
p cnf 250  1065 
 55 -250 -111 0
-238 -45 -24 0
192 -110 151 0
-145 109 78 0
128 83 -126 0
-56 -77 194 0
88 183 127 0
111 16 -189 0
-50 -205 244 0
134 4 93 0
-204 126 -193 0
230 -130 -70 0
186 101 -159 0
9 162 174 0
12 -173 55 0
-220 136 250 0
49 13 -171 0
-12 54 -171 0
-187 35 64 0
201 -246 169 0
-24 62 43 0
234 -107 -4 0
113 -30 177 0
-173 144 -85 0
101 33 153 0
62 111 -142 0
-187 -30 93 0
105 244 97 0
-81 -200 198 0
-73 37 -62 0
-54 -116 9 0
181 156 -84 0
-92 -200 -208 0
-243 -61 185 0
219 48 -157 0
178 77 -186 0
-203 201 73 0
68 -247 -244 0
-248 38 163 0
-156 62 -190 0
112 -161 227 0
37 135 223 0
-145 -179 -16 0
117 182 30 0
63 -24 -105 0
-152 70 99 0
151 153 166 0
-143 156 -205 0
-150 -161 -71 0
222 2 -213 0
14 155 240 0
144 184 9 0
86 200 -176 0
-180 -7 130 0
-189 -157 70 0
71 246 227 0
-166 1 194 0
195 -145 201 0
-90 115 -65 0
38 -53 -156 0
-180 23 -133 0
167 -249 241 0
112 -118 -196 0
-121 78 246 0
185 -85 162 0
229 121 -137 0
102 194 -218 0
143 -166 -9 0
-218 99 75 0
-73 219 -206 0
-98 -37 18 0
-205 250 238 0
63 234 -208 0
-68 39 35 0
-12 74 37 0
-114 -156 133 0
-175 95 31 0
-205 -79 -106 0
-98 217 -215 0
-201 120 40 0
-84 200 -2 0
247 -6 237 0
149 123 -82 0
-180 132 198 0
-110 -215 175 0
-246 36 211 0
-140 249 -47 0
-129 -174 87 0
-192 107 2 0
194 111 -230 0
130 5 -217 0
-132 142 -216 0
-142 147 165 0
98 -48 -199 0
116 -131 60 0
-27 -129 74 0
-212 102 -218 0
169 -171 -133 0
175 246 -38 0
-73 211 105 0
201 82 -233 0
100 -36 54 0
-54 -132 -3 0
-175 139 -147 0
186 -86 202 0
-144 -168 -89 0
-79 42 -200 0
-215 163 44 0
118 -23 -147 0
-5 -170 -245 0
213 -104 130 0
-215 -60 -113 0
76 156 -135 0
127 240 -5 0
-183 -7 159 0
138 -175 -223 0
-89 190 -12 0
174 179 -110 0
41 -175 -221 0
-35 131 -231 0
62 -194 118 0
-237 50 -34 0
202 -174 66 0
43 22 -38 0
-237 101 -117 0
161 -105 117 0
-122 126 -127 0
41 -76 50 0
219 -179 53 0
243 -180 219 0
-32 57 117 0
225 206 131 0
228 151 -81 0
59 -226 146 0
-229 225 -17 0
210 115 220 0
-82 237 10 0
217 65 21 0
-13 151 -3 0
246 -240 210 0
-176 -147 -158 0
-199 54 -156 0
79 232 -58 0
-126 -42 50 0
112 -196 -50 0
114 134 133 0
190 -227 -159 0
-88 14 -156 0
44 237 -225 0
-153 227 120 0
189 -162 -210 0
177 -122 -215 0
-9 -55 164 0
97 243 -12 0
245 -238 -103 0
-191 -129 -62 0
138 -127 115 0
-3 -220 136 0
-191 229 -77 0
-80 -44 150 0
-83 -97 -219 0
137 -135 46 0
-83 -241 227 0
-52 98 -88 0
-40 130 181 0
-29 145 -185 0
-166 -176 66 0
-219 -9 -44 0
-54 -29 48 0
-29 -196 227 0
-47 -163 -183 0
-162 76 147 0
31 -5 82 0
25 -3 -86 0
-169 -172 188 0
184 -177 -236 0
-88 69 221 0
-57 -77 -12 0
196 -176 213 0
-24 165 -28 0
34 244 -85 0
-164 -198 61 0
-141 -238 184 0
112 71 10 0
-181 126 -171 0
-116 -120 224 0
192 -51 -33 0
108 -75 202 0
-126 -88 -148 0
141 92 -126 0
42 165 -82 0
-100 57 -20 0
96 -167 29 0
125 -83 92 0
-22 -108 -95 0
-109 -210 -59 0
-159 -74 231 0
-133 51 -205 0
166 -223 -245 0
11 -17 -69 0
249 -22 -196 0
-231 121 -244 0
250 181 205 0
8 70 111 0
-26 -81 -141 0
-129 -17 -72 0
-166 -98 -235 0
126 -77 183 0
197 -176 -101 0
129 216 -246 0
-146 -225 -6 0
-209 -77 -81 0
127 -79 -54 0
-90 -105 148 0
105 40 -54 0
90 -204 124 0
-79 129 110 0
-137 199 141 0
162 98 154 0
-147 -142 -105 0
-99 -82 118 0
6 -5 -167 0
178 -51 -187 0
117 -152 41 0
-84 107 -220 0
-102 -155 -43 0
-7 -133 -225 0
162 -175 -189 0
42 -109 80 0
-161 -212 -147 0
-92 -2 -109 0
104 -227 118 0
-216 -61 40 0
-83 201 141 0
203 195 -229 0
-53 167 130 0
146 -155 -76 0
-129 199 -37 0
201 186 -146 0
109 -51 -124 0
215 203 -115 0
194 9 70 0
245 152 250 0
226 22 -38 0
-50 221 186 0
-121 22 -38 0
-151 60 -160 0
22 73 -84 0
-123 -78 175 0
-45 -249 8 0
65 43 -87 0
-3 -178 12 0
-95 -168 163 0
82 -61 93 0
43 -15 -40 0
-115 -59 3 0
-153 164 208 0
-4 171 -22 0
181 -180 -21 0
65 229 7 0
64 143 -60 0
96 -245 -135 0
-157 162 -132 0
-139 9 159 0
-151 -96 74 0
-158 12 245 0
188 -174 -82 0
-32 134 -152 0
143 201 238 0
-146 -10 114 0
71 74 -75 0
-152 228 77 0
-224 -81 -187 0
105 -137 199 0
-111 84 -68 0
37 -123 58 0
14 90 76 0
143 -47 -206 0
77 26 86 0
-83 -228 -106 0
-134 239 -31 0
40 -114 -58 0
-240 -96 177 0
-144 1 -124 0
2 109 -219 0
15 142 160 0
-14 123 -72 0
-227 172 -129 0
65 97 101 0
-44 -231 -61 0
-166 -131 -141 0
224 86 24 0
-247 -49 21 0
-103 34 214 0
45 120 68 0
-87 -186 -187 0
-129 -119 235 0
1 160 105 0
138 137 -107 0
188 -135 52 0
-62 77 -8 0
-147 183 -22 0
188 85 -96 0
-116 244 18 0
-155 33 -242 0
29 99 58 0
-190 243 -46 0
-147 62 214 0
-123 -220 -63 0
-246 97 -189 0
218 82 -75 0
-139 58 163 0
64 -166 -98 0
-97 -30 171 0
66 -165 209 0
231 -120 -93 0
-225 -35 18 0
173 32 202 0
-221 156 139 0
-4 -131 222 0
223 -117 -244 0
25 146 -173 0
77 -206 -173 0
137 197 -138 0
83 92 -84 0
-178 25 85 0
-59 -114 -153 0
123 232 141 0
-27 -146 -63 0
-117 3 242 0
169 -234 -69 0
-10 -213 -22 0
-97 67 -157 0
-103 139 -63 0
65 170 236 0
-100 38 -27 0
77 -51 144 0
-23 60 155 0
-96 149 -155 0
-141 -129 -126 0
-169 -34 33 0
126 -29 125 0
106 149 -147 0
-26 175 -92 0
137 223 -34 0
7 -18 -2 0
-114 88 233 0
-76 -212 7 0
166 -247 9 0
-163 62 -64 0
-164 81 -181 0
120 -234 231 0
-209 47 48 0
50 -185 -15 0
-150 105 2 0
125 -215 157 0
-198 250 -10 0
14 60 28 0
80 -75 -232 0
34 -32 29 0
112 -119 -45 0
44 122 175 0
35 63 85 0
110 204 184 0
15 82 99 0
-123 -229 -212 0
92 41 7 0
41 -129 -118 0
-234 -51 -196 0
234 -157 -75 0
-175 -73 -170 0
22 81 206 0
-83 136 178 0
-193 -245 170 0
-131 -145 -218 0
147 152 -240 0
-232 60 -58 0
-237 170 40 0
-34 -62 -44 0
-14 81 101 0
-149 -183 229 0
-116 -230 -77 0
77 154 -82 0
-166 103 -14 0
166 70 45 0
93 199 13 0
-89 -203 -241 0
-78 203 -62 0
112 -235 233 0
-88 110 -107 0
-213 218 -107 0
-237 129 145 0
-135 121 223 0
77 142 -25 0
-97 -104 -78 0
-111 -199 -171 0
160 -161 -88 0
75 -23 1 0
88 46 -173 0
-81 -202 41 0
112 -16 -225 0
241 -142 -60 0
-210 21 -221 0
-242 155 236 0
-101 97 -42 0
-168 -116 -213 0
42 -139 87 0
49 -177 54 0
-209 128 25 0
35 142 -137 0
-23 201 -8 0
180 -136 43 0
49 36 186 0
-222 -13 -200 0
-36 242 -132 0
64 90 -116 0
226 4 95 0
-28 -68 -117 0
-36 -141 -184 0
226 173 -131 0
-21 -159 38 0
-95 -206 -116 0
-20 -2 203 0
-57 -1 -12 0
129 211 -70 0
-208 -88 73 0
-107 69 -8 0
107 -28 -233 0
-180 -220 -199 0
-88 87 -145 0
-71 54 51 0
-195 -156 93 0
-183 235 128 0
113 -223 -10 0
-245 -1 -55 0
-102 227 206 0
176 64 160 0
-119 197 22 0
37 224 -38 0
14 -30 201 0
-220 -21 -85 0
179 99 17 0
-127 -236 228 0
-213 18 64 0
-200 -78 128 0
8 116 -68 0
45 219 -89 0
93 184 -191 0
-160 45 189 0
-70 -244 -79 0
244 -152 -90 0
-51 38 -99 0
95 192 -90 0
-206 -171 215 0
-146 -214 -3 0
199 -154 49 0
168 -16 -79 0
172 250 -120 0
-182 -240 -52 0
-156 30 158 0
55 -203 -222 0
-144 -158 202 0
151 94 -105 0
-152 -36 128 0
148 -87 41 0
124 -49 -247 0
-31 45 145 0
-88 -168 161 0
-81 89 -50 0
220 -189 68 0
55 -118 110 0
-38 -244 56 0
-249 63 -240 0
-172 85 16 0
202 12 -247 0
-80 -76 109 0
201 164 64 0
79 94 101 0
247 -174 -189 0
70 96 242 0
-56 -195 -89 0
235 86 -128 0
-87 -171 66 0
-41 -236 -241 0
-210 -67 231 0
215 188 -40 0
-17 -87 9 0
-118 -221 21 0
-1 -198 -245 0
126 136 -59 0
-201 52 -128 0
-164 121 -67 0
23 132 171 0
53 65 -25 0
39 182 -87 0
-38 -239 225 0
-145 143 -199 0
161 -88 -95 0
-159 -184 224 0
-134 20 -211 0
144 154 -236 0
-196 -214 -107 0
-107 -86 -9 0
110 76 73 0
114 142 -74 0
72 6 -94 0
-22 -69 126 0
49 70 136 0
197 -131 -128 0
-73 -78 -28 0
-86 223 145 0
-92 -52 86 0
-18 229 -119 0
206 232 -20 0
-219 -73 -62 0
136 -54 -186 0
-47 74 -18 0
182 -59 -176 0
-190 -167 -192 0
194 -219 -15 0
-217 -100 36 0
-118 177 -91 0
83 241 -190 0
-219 -231 69 0
103 -134 37 0
100 -104 -135 0
124 -156 243 0
91 -206 -65 0
-68 -228 34 0
-81 -51 -138 0
-48 42 -238 0
84 -171 123 0
201 21 43 0
231 -187 -17 0
116 -245 -236 0
-142 -240 216 0
-96 5 184 0
55 32 134 0
-136 28 189 0
86 -157 98 0
-245 -52 -30 0
-223 -26 206 0
-19 -48 69 0
155 -29 -142 0
195 16 91 0
82 -52 111 0
-13 -7 17 0
188 -47 -121 0
244 -219 128 0
31 165 -151 0
154 83 -203 0
76 136 -191 0
144 243 -238 0
-250 -77 147 0
189 194 -209 0
-240 -170 -43 0
126 9 51 0
-8 244 -99 0
-174 -8 71 0
-73 -114 74 0
151 -50 -76 0
220 242 -42 0
44 85 -246 0
213 -100 185 0
-148 -57 219 0
5 -119 -148 0
71 -181 -123 0
9 10 -49 0
181 13 -241 0
-220 -193 -30 0
-37 -168 116 0
-64 -68 -8 0
-150 -188 234 0
90 -123 45 0
53 -208 -33 0
-80 182 114 0
22 179 29 0
-15 -45 236 0
-52 110 -63 0
-185 -54 17 0
-130 244 42 0
173 -33 93 0
52 -185 81 0
-67 -31 162 0
-132 -182 -249 0
246 11 -123 0
-101 -179 -9 0
38 18 84 0
-216 99 -36 0
-192 179 -96 0
-69 73 -237 0
-168 -210 -171 0
-76 190 -154 0
-163 -23 35 0
-113 92 10 0
-184 101 161 0
163 -209 -229 0
219 211 -70 0
58 -32 149 0
-173 92 -141 0
-21 -234 22 0
-200 -67 -22 0
-60 -119 -117 0
-6 -48 -16 0
204 -63 -88 0
-16 121 37 0
146 -91 121 0
134 109 -143 0
-19 147 -143 0
-127 99 226 0
236 110 233 0
-122 201 98 0
-18 -158 197 0
-37 188 -192 0
68 -238 -77 0
-156 -194 30 0
-146 87 35 0
82 97 -216 0
-73 -43 -15 0
40 -172 -69 0
-239 74 19 0
23 -127 -137 0
97 51 161 0
-198 100 119 0
205 -112 225 0
12 183 -178 0
133 83 94 0
-215 196 -100 0
171 -17 6 0
93 -183 -190 0
171 -218 -67 0
-66 -130 210 0
209 -114 3 0
-214 -160 89 0
-47 41 -250 0
-120 -29 -172 0
64 193 -49 0
80 61 -83 0
81 -210 243 0
96 199 59 0
-202 -85 184 0
-201 154 151 0
-53 -67 -160 0
39 15 169 0
-91 -160 25 0
162 194 -166 0
199 32 30 0
198 -58 102 0
-66 231 49 0
60 103 23 0
165 164 208 0
-206 208 70 0
21 4 132 0
-157 -175 55 0
69 217 -170 0
105 216 86 0
-101 -2 53 0
-245 -8 -113 0
201 -36 148 0
-72 -60 23 0
-163 5 39 0
-94 168 87 0
6 -83 -82 0
-91 -160 -246 0
44 -236 -47 0
-139 -140 201 0
12 -232 186 0
172 133 107 0
-213 91 -225 0
-196 -122 125 0
-188 75 -241 0
157 14 -110 0
-115 32 119 0
37 -247 210 0
151 -150 160 0
127 -79 -172 0
246 -123 186 0
92 79 211 0
86 109 39 0
248 213 237 0
149 -182 -4 0
12 -20 -113 0
-209 62 238 0
249 198 208 0
115 42 233 0
-184 -213 -17 0
-115 241 -184 0
137 -67 228 0
-223 235 37 0
-201 -137 -122 0
19 172 -149 0
-200 -224 -118 0
50 -88 42 0
-117 184 12 0
234 -65 -170 0
-42 18 -79 0
-67 -3 162 0
-159 -186 -200 0
-228 -81 -95 0
-22 217 24 0
-98 114 39 0
113 120 -95 0
137 -212 -166 0
248 -140 -210 0
51 149 -160 0
-97 186 -96 0
227 -224 18 0
-51 -136 -33 0
96 220 -84 0
-249 -114 -109 0
-141 -34 -133 0
-134 -146 -218 0
221 -17 102 0
198 -79 44 0
241 132 -220 0
-47 -181 191 0
-174 -51 -5 0
-108 -172 -236 0
33 -123 -47 0
-183 -144 63 0
-58 -39 -34 0
108 142 -250 0
82 141 123 0
36 -133 170 0
13 141 -215 0
-178 101 -247 0
-161 207 -107 0
-110 -150 -30 0
-30 4 -11 0
-21 -99 -111 0
-193 102 3 0
153 -222 -58 0
-148 -242 -26 0
57 -3 247 0
-37 -222 181 0
50 149 206 0
-155 -240 239 0
88 147 112 0
107 -130 88 0
184 -234 -12 0
-219 -181 -118 0
-191 138 -195 0
-49 187 -90 0
246 156 -43 0
-123 192 224 0
-102 -25 35 0
174 139 156 0
-60 117 -191 0
62 22 -147 0
95 227 -97 0
-173 -213 -178 0
-226 -105 14 0
135 -32 -198 0
-67 243 246 0
-118 192 -77 0
117 -183 150 0
-169 -116 -186 0
-14 -131 189 0
-184 -22 -112 0
29 102 -151 0
-42 -183 -94 0
-23 145 100 0
116 91 -227 0
174 -235 -205 0
-244 192 41 0
-56 88 39 0
-135 52 -160 0
81 -125 -77 0
-239 -102 112 0
-132 131 216 0
30 -82 -100 0
-83 115 -180 0
229 -179 -65 0
183 -225 -95 0
69 -50 -113 0
-46 1 -219 0
-24 -152 -65 0
-143 -123 93 0
200 -111 -52 0
-26 223 -19 0
-26 -52 241 0
194 -220 211 0
171 67 -227 0
-91 223 -15 0
-112 -44 -141 0
119 -207 -198 0
-169 -145 115 0
-234 73 -104 0
-115 176 100 0
-48 180 161 0
85 178 -49 0
177 205 144 0
-79 67 -119 0
-60 141 -130 0
-27 68 -127 0
29 91 -112 0
-76 50 -103 0
-15 170 3 0
-86 161 -170 0
163 97 7 0
224 -61 -103 0
234 -213 26 0
22 197 -36 0
-52 -165 48 0
-161 43 -214 0
180 -56 -57 0
8 -124 157 0
-150 231 35 0
72 56 -28 0
-238 188 200 0
198 34 -86 0
199 74 101 0
-194 -7 41 0
91 -13 -101 0
-25 120 -65 0
5 18 204 0
-67 220 -94 0
227 -18 -207 0
-62 -86 160 0
40 -228 -162 0
-24 206 249 0
246 113 240 0
-39 7 81 0
143 -87 162 0
95 -39 93 0
-238 -167 250 0
-6 -138 -159 0
-59 16 -196 0
-215 -154 57 0
240 52 -94 0
-126 45 152 0
172 37 -183 0
-19 -90 -175 0
-184 192 90 0
-45 -57 -98 0
124 -15 -201 0
69 -61 18 0
160 159 139 0
20 57 58 0
155 -92 182 0
159 -103 -85 0
90 -197 -34 0
157 -108 -83 0
-161 211 12 0
93 -224 -150 0
-95 -135 232 0
-153 -84 56 0
-110 98 -193 0
52 11 -160 0
-113 54 -118 0
-233 -166 229 0
-64 -242 -143 0
110 -30 4 0
201 -224 -66 0
-78 -107 -199 0
-193 -227 145 0
-8 -202 -45 0
45 62 -7 0
-103 -64 -152 0
-64 -2 -12 0
141 222 -136 0
-69 61 -233 0
14 -74 -218 0
165 -1 -48 0
-146 176 -194 0
149 14 161 0
-223 144 80 0
-166 126 133 0
-102 103 76 0
-80 203 -212 0
-136 -89 60 0
142 -57 159 0
-14 -44 166 0
-174 82 -121 0
-18 94 -99 0
-128 -216 -13 0
-17 28 -232 0
177 138 -194 0
-110 -208 5 0
-127 -224 -113 0
-150 80 160 0
89 -34 -72 0
-220 -136 85 0
87 88 75 0
-110 -195 -6 0
166 -70 38 0
-119 -71 89 0
-137 111 -184 0
-89 -110 250 0
-195 60 -13 0
-158 197 -2 0
250 140 -55 0
136 -217 57 0
-232 -26 -191 0
49 134 -201 0
-243 -179 -245 0
186 -90 -33 0
-160 137 35 0
-210 100 -56 0
240 173 -147 0
43 -250 57 0
16 -122 95 0
27 55 -150 0
-177 -243 74 0
180 -173 36 0
205 17 -42 0
16 69 -100 0
124 -144 50 0
247 132 76 0
182 -44 218 0
74 -171 51 0
-100 -43 128 0
83 53 173 0
-102 139 81 0
104 -47 -21 0
-80 240 97 0
159 -173 114 0
160 214 76 0
-88 171 -221 0
7 195 -20 0
203 -94 -175 0
-120 -134 170 0
6 -81 16 0
-164 -250 4 0
-108 -173 40 0
-62 -152 148 0
-234 71 -6 0
-205 -60 -6 0
54 -55 167 0
-153 -47 -7 0
-245 -235 108 0
15 204 -129 0
-195 61 -241 0
118 -84 186 0
119 -43 171 0
-80 229 78 0
246 -135 2 0
56 99 -169 0
179 -167 -32 0
-238 -70 -214 0
1 -24 177 0
-127 207 182 0
-235 -137 -185 0
-102 -112 151 0
54 213 172 0
-216 -120 140 0
189 -75 -57 0
-207 187 -24 0
125 191 69 0
128 -127 -7 0
165 110 -246 0
-154 190 -18 0
98 -16 -156 0
-79 31 186 0
-192 -183 135 0
74 -146 -139 0
13 103 -78 0
-250 160 153 0
150 110 -89 0
-94 -199 76 0
-8 219 -203 0
35 51 4 0
-250 -80 226 0
210 -135 116 0
192 64 -71 0
75 -50 -185 0
-178 229 23 0
-248 -91 -183 0
230 202 52 0
218 -192 -85 0
-4 34 176 0
-162 -238 -99 0
-37 -167 31 0
-136 -119 -224 0
208 -181 -166 0
168 -222 -159 0
213 72 -207 0
2 -42 32 0
147 49 28 0
41 -192 168 0
250 131 -202 0
55 113 127 0
-118 -160 -44 0
-203 -67 23 0
-232 190 -227 0
-192 21 17 0
-64 168 171 0
-193 151 198 0
-211 -2 185 0
-18 213 24 0
-130 -53 -66 0
204 -8 -96 0
162 -141 30 0
-228 87 81 0
247 87 -25 0
-66 210 -189 0
-60 -59 141 0
35 -95 229 0
-143 182 192 0
35 90 -98 0
-196 176 -137 0
-17 117 -50 0
-246 56 77 0
80 -12 212 0
-32 19 145 0
-56 -24 -180 0
-183 174 103 0
215 77 180 0
71 -132 60 0
-87 185 -63 0
-236 120 165 0
153 -244 245 0
129 -190 -153 0
-107 51 -85 0
211 -168 -172 0
164 135 -105 0
-149 -202 -159 0
220 -86 75 0
-75 -2 -105 0
148 -128 104 0
-55 -64 -137 0
-74 -40 139 0
-118 152 182 0
247 98 -77 0
-37 -155 123 0
144 -28 -86 0
217 -10 -16 0
-201 109 101 0
208 -47 -222 0
-28 185 134 0
173 -218 134 0
235 215 79 0
199 -21 -179 0
-174 -110 -26 0
124 171 -108 0
-114 243 -150 0
-67 -236 -112 0
-216 -185 201 0
-124 158 212 0
-73 -176 26 0
112 46 89 0
159 110 76 0
-200 221 -246 0
-3 -240 -138 0
69 -212 116 0
190 4 -95 0
-119 -173 248 0
5 142 223 0
231 45 -78 0
-58 -78 178 0
222 -112 73 0
-204 -9 -10 0
-203 -208 -93 0
13 189 -179 0
-57 114 -15 0
-54 8 -48 0
-214 -28 -196 0
175 180 106 0
152 -118 2 0
19 -14 -171 0
220 -52 215 0
-204 141 66 0
-47 38 223 0
-215 207 -196 0
-23 56 -167 0