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