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