% SZS status Timeout for POLY__DIVIDES__SU
