If one shows that UNIQUE k-SAT is in P, does it imply P=NP?
This is still an open question; UP is not known to be equivalent to NP.  In the paper "NP Might Not Be As Easy As Detecting Unique Solutions," Beigel, Burhman and Fortnow construct an oracle under which P contains UP but P is still not equivalent to NP.