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