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