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