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