Reducing Sat To Shortest Tour Intro To Theoretical Computer Science