I just saw hp.in was still available for sale at sedo. Why do you thing is the domain not sold yet, because of Trademark? Because I thing buying a Trademarked Domain will be a losing deal at all costs, and not to mention legal hassles if any.
Lol , I thought sedo guys would be doing their jobs atleast to some satisfaction -I was wrong. Don't people complain about this malpractice, This is open fraudulence in my view.