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