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