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