#include <bits/stdc++.h>
using namespace std;
const long long MOD = 998244353;
vector<vector<int>> mex = {{1, 2, 1}, {2, 0, 0}, {1, 0, 0}};
vector<long long> eval(string &S, int &p){
  if (S[p] == '0'){
    p++;
    return {1, 0, 0};
  } else if (S[p] == '1'){
    p++;
    return {0, 1, 0};
  } else if (S[p] == '2'){
    p++;
    return {0, 0, 1};
  } else if (S[p] == '?'){
    p++;
    return {1, 1, 1};
  } else {
    string op = S.substr(p, 3);
    vector<long long> ans(3, 0);
    p += 4;
    vector<long long> A = eval(S, p);
    p++;
    vector<long long> B = eval(S, p);
    p++;
    for (int i = 0; i < 3; i++){
      for (int j = 0; j < 3; j++){
        if (op != "mex"){
          ans[max(i, j)] += A[i] * B[j];
          ans[max(i, j)] %= MOD;
        }
        if (op != "max"){
          ans[mex[i][j]] += A[i] * B[j];
          ans[mex[i][j]] %= MOD;
        }
      }
    }
    return ans;
  }
}
int main(){
  string S;
  cin >> S;
  int K;
  cin >> K;
  int p = 0;
  vector<long long> ans = eval(S, p);
  cout << ans[K] << endl;
}