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