Sadly, yes. :(
I actually wanted to move them to some other exchange or a private wallet, but suddenly panicked and sold them.