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