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