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