Add SMTInterpol version 2.1-144-g5b37bd7.