% SZS status Timeout for FLOAT__INFINITIES__SIGNED_
