% SZS status Timeout for CONJUNCTIVE__NORMAL__FORM_c
