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