% SZS status Timeout for POLY__ROOTS__FINITE__S
