Surprisingly, 9.45 BTC auctioned off by a U.S. government agency was purchased at a market discount.