SMT-Strange-Journey-Redux