q,y = map(int,input().split())
S = list(map(str,input().split()))

def f(x):
    d = []
    
    for i in range(q):
        if(S[i] == "+"):
            a = d.pop()
            b = d.pop()
            d.append(a+b)
        elif(S[i] == "min"):
            a = d.pop()
            b = d.pop()
            d.append(min(a,b))
        elif(S[i] == "max"):
            a = d.pop()
            b = d.pop()
            d.append(max(a,b))
        elif(S[i] == "X"):
            d.append(x)
        else:
            d.append(int(S[i]))
    
    return d[0]
    
ok = -1
ng = 8*10**18

while abs(ok-ng) > 1:
    mid = (ok+ng)//2
    if(f(mid) < y):
        ok = mid
    else:
        ng = mid

if(f(ng) == y):
    print(ng)
else:
    print(-1)