Q, Y = map(int, input().split())
S = input().split()

assert 0 <= Y <= 10**9

def rev_polish(x):
    A = []
    for s in S:
        if s in ('+', 'min', 'max'):
            a = A.pop()
            b = A.pop()
            
            if s == '+':
                A.append(a + b)
            if s == 'min':
                A.append(min(a, b))
            if s == 'max':
                A.append(max(a, b))
        
        else:
            if s == 'X':
                A.append(x)
            else:
                A.append(int(s))
    
    return A[0]

ok, ng = Y, -1

while ok - ng > 1:
    mid = (ok + ng) // 2
    if rev_polish(mid) >= Y:
        ok = mid
    else:
        ng = mid

if rev_polish(ok) == Y:
    print(ok)
else:
    print(-1)