You are correct that not a share has been sold. You are wrong about them going to sell. That is what the filing is for. The entire amount will be sold by an underwriter. That is the most orderly way to move this much stock. There would be no filing if there was not going to be an immediate sell upon approval by the SEC.