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