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