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