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