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