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