A SAT Approach for SMPTSP