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