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