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