SMT so far