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