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