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