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