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