#include <bits/stdc++.h>
using namespace std;
const long long N = 10000;
const long long M = 101;
map<pair<long long, long long>, pair<long long, long long> > rng;
string s;
long long termina[N];
long long sig[N];
map<pair<pair<long long, long long>, pair<long long, long long> >, long long>
    memo;
map<pair<pair<long long, long long>, pair<long long, long long> >, bool> used;
long long dp(long long pos, long long tipo, long long posi, long long nega) {
  if (used[{{pos, tipo}, {posi, nega}}]) {
    return memo[{{pos, tipo}, {posi, nega}}];
  }
  used[{{pos, tipo}, {posi, nega}}] = true;
  long long ans;
  if (tipo == 0) {
    ans = LLONG_MIN;
  } else {
    ans = LLONG_MAX;
  }
  if (termina[pos] - pos == 4) {
    if (posi > 0) {
      ans = (s[pos + 1] - '0') + (s[pos + 3] - '0');
    } else {
      ans = (s[pos + 1] - '0') - (s[pos + 3] - '0');
    }
  } else {
    if (s[pos + 1] == '(' && s[termina[pos + 1] + 2] == '(') {
      long long cnt = sig[termina[pos + 1]] - sig[pos + 1];
      for (long long i = 0; i <= cnt; i++) {
        if (i <= posi && cnt - i <= nega) {
          if (tipo == 0) {
            if (i < posi) {
              ans = max(ans, dp(pos + 1, 0, i, cnt - i) +
                                 dp(termina[pos + 1] + 2, 0, posi - i - 1,
                                    nega - (cnt - i)));
            }
            if (cnt - i < nega) {
              ans = max(ans, dp(pos + 1, 0, i, cnt - i) -
                                 dp(termina[pos + 1] + 2, 1, posi - i,
                                    nega - (cnt - i) - 1));
            }
          } else {
            if (i < posi) {
              ans = min(ans, dp(pos + 1, 1, i, cnt - i) +
                                 dp(termina[pos + 1] + 2, 1, posi - i - 1,
                                    nega - (cnt - i)));
            }
            if (cnt - i < nega) {
              ans = min(ans, dp(pos + 1, 1, i, cnt - i) -
                                 dp(termina[pos + 1] + 2, 0, posi - i,
                                    nega - (cnt - i) - 1));
            }
          }
        }
      }
    } else if (s[pos + 1] == '(' && s[termina[pos + 1] + 2] != '(') {
      if (tipo == 0) {
        if (posi > 0) {
          ans = max(ans, dp(pos + 1, 0, posi - 1, nega) +
                             (s[termina[pos + 1] + 2] - '0'));
        }
        if (nega > 0) {
          ans = max(ans, dp(pos + 1, 0, posi, nega - 1) -
                             (s[termina[pos + 1] + 2] - '0'));
        }
      } else {
        if (posi > 0) {
          ans = min(ans, dp(pos + 1, 1, posi - 1, nega) +
                             (s[termina[pos + 1] + 2] - '0'));
        }
        if (nega > 0) {
          ans = min(ans, dp(pos + 1, 1, posi, nega - 1) -
                             (s[termina[pos + 1] + 2] - '0'));
        }
      }
    } else {
      if (tipo == 0) {
        if (posi > 0) {
          ans = max(ans, (s[pos + 1] - '0') + dp(pos + 3, 0, posi - 1, nega));
        }
        if (nega > 0) {
          ans = max(ans, (s[pos + 1] - '0') - dp(pos + 3, 1, posi, nega - 1));
        }
      } else {
        if (posi > 0) {
          ans = min(ans, (s[pos + 1] - '0') + dp(pos + 3, 1, posi - 1, nega));
        }
        if (nega > 0) {
          ans = min(ans, (s[pos + 1] - '0') - dp(pos + 3, 0, posi, nega - 1));
        }
      }
    }
  }
  memo[{{pos, tipo}, {posi, nega}}] = ans;
  return ans;
}
int main() {
  ios_base::sync_with_stdio(false);
  cin.tie(NULL);
  cout.precision(10);
  cout << fixed;
  long long a, b;
  cin >> s;
  cin >> a >> b;
  if (s.size() == 1) {
    cout << s << endl;
    return 0;
  }
  deque<long long> q;
  for (long long i = 0; i < s.size(); i++) {
    if (s[i] == '(' || s[i] == ')') {
      if (q.empty()) {
        q.push_back(i);
      } else {
        if (s[q.back()] == '(' && s[i] == ')') {
          termina[q.back()] = i;
          q.pop_back();
        } else {
          q.push_back(i);
        }
      }
    } else if (s[i] == '?') {
      sig[i]++;
    }
    sig[i + 1] = sig[i];
  }
  cout << dp(0, 0, a, b) << endl;
  return 0;
}
