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