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