% SZS status Timeout for MONOID__DISJ_
