use smt 0.1