added test2.smt file