smt encoding