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