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