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