No, but proving that P=NP would really help.
Anyway, thanks...