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