% SZS status Timeout for DISJUNCTIVE__NORMAL__FORM_c
