revise smt encoding