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