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