% SZS status Timeout for SORTED__DEF_
