They won't sell them on the exchange. It will be auctioned off like other forfeited property. If you want to participate you will wire earnest money to the US treasury in advance.
I believe this is the correct answer. It won't do much to the exchange rate, I think, because the buyer(s) may not sell them on an exchange, either. Of course, I could be wrong about that.
