add testing branch
testing: add smt