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