2smt