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