% SZS status Timeout for SORTED__EQ__PA
