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