A light of hope for SMT