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