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