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