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