They still have to follow the seizure process. So it will take a while. After which, I expect them to follow the same process of auctioning the BTC to the public, just like the first batch. Maybe sometime in 2021. That 70k BTC might be worth a lot more by then.