Let's talk with numbers out of the latest financial statement, not with historical terms with one single exchange rate.
Those are held Bitcoins roadstress they still have access to them as far as I know.
That said your right best work from the financial statements and figure it out from there.