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