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