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