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