% SZS status Timeout for SORTED__transitive__APPEND__I
