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