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