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