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