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