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