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