Changed to use an older version of SMT