New: smt-73