Suppose we know that a problem X is NP-complete. Suppose we discover a polynomial time algorithm for X. Would that imply that the SATISFIABILITY problem can be solved in polynomial time