#include <bits/stdc++.h>
#include <boost/multiprecision/cpp_int.hpp>

using namespace std;
using ll = long long;
using namespace boost::multiprecision; 
using ull = cpp_int;

int main(){
    cin.tie(nullptr);
    ios_base::sync_with_stdio(false);

    /*
       clamp関数は広義単調
       f(x)>=Yを満たす最小のxが答えになりうる。
    */

    ll N, Y;
    ull a, b;
    cin >> N >> Y;
    vector<string> s(N);
    for (int i=0; i<N; i++) cin >> s[i];

    auto f=[&](ull x)->ull{
        vector<ull> v;
        for (int i=0; i<N; i++){
            if (s[i] == "+"){
                a = v.back();
                v.pop_back();
                b = v.back();
                v.pop_back();
                v.push_back(a+b);
            }
            else if (s[i] == "min"){
                a = v.back();
                v.pop_back();
                b = v.back();
                v.pop_back();
                v.push_back(min(a,b));
            }
            else if (s[i] == "max"){
                a = v.back();
                v.pop_back();
                b = v.back();
                v.pop_back();
                v.push_back(max(a,b));
            }
            else if (s[i] == "X") v.push_back(x);
            else v.push_back((ull)stoll(s[i]));
        }
        assert(v.size() == 1);
        return v[0];
    };

    if (f(0) >= Y){
        cout << (f(0) == Y ? 0 : -1) << endl;
        return 0;
    }

    ull l=0, r=(ll)1e14, c;
    while(r-l>1){
        c = (l+r)/2;
        if (f(c) >= Y) r=c;
        else l=c;
    }

    cout << (f(r) == Y ? (ll)r : -1) << endl;

    return 0;
}