continue in SMT algo.