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