This is all true, except nobody has a large quantum computer yet. You could discover an efficient SAT algorithm and not be able to apply it for years or decades

This is all true, except nobody has a large quantum computer yet. You could discover an efficient SAT algorithm and not be able to apply it for years or decades. (I don't expect this either.)