% SZS status Timeout for CONJUNCTIVE__NORMAL__FORM_
