SMT-Maintenance

SMT doesn't work as intended at the moment. Please be patient, I will try to fix it asap.