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