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