The coins will not be offered publicly and will not be traded on any of the platforms.
While the coins are in the hands of the Feds you will not see a change.
What happens after they sell/trade them (wallet-to-wallet) is the real question.