If they have 80k bitcoin to convert, they have much more than 80k bitcoin in total.