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