% SZS status Timeout for POW__ALGEB
