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