SMT Development Update #5