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