I'll just sum up, as this has been discussed before. NetSol has been holding onto select domains (desireable ones), and although there is at least a 30 day waiting period after the domain expires, this could turn out to who knows how long. They've opened up domains for auction (without a whole lot of info on where and how the auctions take place). Someone posted a URL, but I'd say it looked more like a domain listing site, than anything helpful.
It hasn't even expired yet, and the owner could renew it today. After the 30 days, check again. If it isn't released then you can bid on it (but as I said, good luck in figuring that out).