SMT* TOTAL