I treat 9 mln already mined coins in this situation as premine.
Someone have them and will dump if price rises.