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