Oh right, so if those numbers are correct they're heavily insolvent even if they somehow managed to write off the btc owed. I'd been wondering about that.

This starts to remind me of the whole SCO vs Linux thing.