% SZS status Timeout for MONOID__CONJ_
