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