New version of SMTInterpol