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