Why the need for TSP solvers when there are SAT solvers?

Question

Concorde TSP is a solver for TSP. SAT solvers are solvers for boolean satisfiability. TSP and SAT are NP-complete.

Hence, why spent the time to develop Concorde TSP when there is an abundance of SAT solvers in the market back then?