% SZS status Timeout for POLY__DIFF__AUX__A
