#include <bits/stdc++.h>
using namespace std;
int q;
long long y;
vector<int> eg[1<<18];
string s[1<<18];
long long ev(long long x){
    stack<long long> st;
    for(int i=0;i<q;i++){
        if(s[i]=="+"){
            long long a=st.top();st.pop();
            long long b=st.top();st.pop();
            st.push(a+b);
        }else if(s[i]=="min"){
            long long a=st.top();st.pop();
            long long b=st.top();st.pop();
            st.push(min(a,b));
        }else if(s[i]=="max"){
            long long a=st.top();st.pop();
            long long b=st.top();st.pop();
            st.push(max(a,b));
        }else if(s[i]=="X"){
            st.push(x);
        }else{
            st.push(stoll(s[i]));
        }
    }
    return st.top();
}
int main(){
    cin>>q>>y;
    for(int i=0;i<q;i++)cin>>s[i];
    long long t=ev(0);
    if(t>y){
        cout<<"-1\n";
        return 0;
    }
    if(t==y){
        cout<<"0\n";
        return 0;
    }
    t=ev(2e14);
    if(t<y){
        cout<<"-1\n";
        return 0;
    }
    long long l=0,r=2e14;
    while(r-l>1){
        long long mid=(l+r)/2;
        t=ev(mid);
        if(t<y)l=mid;
        else r=mid;
    }
    cout<<(ev(r)==y?r:-1)<<endl;
}