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