% SZS status Timeout for literal__case__FORALL__EL
