% SZS status Timeout for POLY__EXP__EQ_
