If P=NP then we HAVE an alg for SAT | Heykuki News