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