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