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