summary_smt
