% SZS status Timeout for FORALL__UNCUR
