% SZS status Timeout for PREIMAGE__REAL__COMP
