% SZS status Timeout for bool__case__CO
