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