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