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