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