Has P Vs Np Been Solved Cold