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