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