Lavasa Corporation Ltd has banks' debt of around 6,000 Crore rupees, Auction decided?