SMT Development Update #3