testing: add smt