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