% SZS status Timeout for DET__OMEGA__EXISTS__FORALL__THEOR
