Will Filecoin trade above $10 before July 15?