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