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