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