The Inevitable Demise of SMT