#include <bits/stdc++.h>
using namespace std;

int main() {
    int Q;
    long long Y;
    cin >> Q >> Y;
    vector<string> s(Q);
    for (int i = 0; i < Q; i++) {
        cin >> s[i];
    }
    long long le = 0, ri = 1e18;
    long long ans = ri;
    while (le <= ri) {
        long long mid = le + (ri - le) / 2;
        stack<long long> st;
        for (int i = 0; i < Q; i++) {
            if (s[i] == "X") {
                st.push(mid);
            } else if (s[i] == "+") {
                long long t1 = st.top();
                st.pop();
                long long t2 = st.top();
                st.pop();
                st.push(t1 + t2);
            } else if (s[i] == "min") {
                long long t1 = st.top();
                st.pop();
                long long t2 = st.top();
                st.pop();
                st.push(min(t1, t2));
            } else if (s[i] == "max") {
                long long t1 = st.top();
                st.pop();
                long long t2 = st.top();
                st.pop();
                st.push(max(t1, t2));
            } else {
                st.push(stoll(s[i]));
            }
        }
        long long f = st.top();
        // cout << mid << " " << f << endl;
        if (f >= Y) {
            if (f == Y) ans = min(ans, mid);
            ri = mid - 1;
        } else if (f < Y) {
            le = mid + 1;
        }
    }
    if (ans == 1e18) ans = -1;
    cout << ans << endl;
    return 0;
}