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