Now to see how long auctioning coal mines for FDI firms takes