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