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