Public Bitcoin miners sold 4,456 BTC in May alone. 3AC owes lenders 18,193 BTC and the equivalent of 22,054 BTC