The entire DRK instamine cost less than 50 BTC for two weeks after the launch.
I'm talking about amount of coins, which is what matters to the distribution of a coin. If you convert them to BTC then you have a BTC potential distribution issue and also a potential coin distribution issue with whoever you sold them to (or not, it depends).
Don't conflate the two.