% SZS status Timeout for BUECHI__PROP__REDUCTI
