smt engine does not work
Merge pull request #1 from lkloh/next-example

smt engine does not work