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