% SZS status Timeout for bool__case__thm_
