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