/* -*- coding: utf-8 -*-
 *
 * 1677.cc:  No.1677 mæx - yukicoder
 */

#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<cmath>
#include<iostream>
#include<string>
#include<vector>
#include<map>
#include<set>
#include<stack>
#include<list>
#include<queue>
#include<deque>
#include<algorithm>
#include<numeric>
#include<utility>
#include<complex>
#include<functional>
 
using namespace std;

/* constant */

const int MAX_N = 200000;
const int MOD = 998244353;

const int fmex[3][3] = {
  { 1, 2, 1 },
  { 2, 0, 0 },
  { 1, 0, 0 }
};

/* typedef */

typedef long long ll;

template<const int MOD>
struct MI {
  int v;
  MI(): v() {}
  MI(int _v): v(_v) {}

  MI operator+(const MI m) const { return MI((v + m.v) % MOD); }
  MI operator-(const MI m) const { return MI((v + MOD - m.v) % MOD); }
  MI operator*(const MI m) const { return MI((ll)v * m.v % MOD); }

  MI &operator+=(const MI m) { return (*this = *this + m); }
  MI &operator-=(const MI m) { return (*this = *this - m); }
  MI &operator*=(const MI m) { return (*this = *this * m); }
};

typedef MI<MOD> mi;

struct Val {
  mi ds[3];
  Val(): ds() {}

  Val &setc(char c) { // c = '0', '1', '2', '?'
    memset(ds, 0, sizeof(ds));
    if (c == '?') ds[0] = ds[1] = ds[2] = 1;
    else ds[c - '0'] = 1;
    return *this;
  }
  
  Val &setmax(Val va, Val vb) {
    memset(ds, 0, sizeof(ds));
    for (int i = 0; i < 3; i++)
      for (int j = 0; j < 3; j++)
	ds[max(i, j)] += va.ds[i] * va.ds[j];
    return *this;
  }

  Val &setmex(Val va, Val vb) {
    memset(ds, 0, sizeof(ds));
    for (int i = 0; i < 3; i++)
      for (int j = 0; j < 3; j++)
	ds[fmex[i][j]] += va.ds[i] * va.ds[j];
    return *this;
  }

  Val operator+(const Val &v) const {
    Val r;
    for (int i = 0; i < 3; i++) r.ds[i] = ds[i] + v.ds[i];
    return r;
  }
};

/* global variables */

char s[MAX_N + 4];

/* subroutines */

Val parse(char *(&cpt)) {
  Val r;
  if (*cpt != 'm')
    r.setc(*(cpt++));
  else {
    cpt++; // 'm'
    char op = *(cpt++); // 'a' or 'e' or '?'
    cpt++, cpt++; // 'x('
    Val a = parse(cpt);
    cpt++; // ','
    Val b = parse(cpt);
    cpt++; // ')'

    switch (op) {
    case 'a': r.setmax(a, b); break;
    case 'e': r.setmex(a, b); break;
    default:
      Val vmax, vmex;
      vmax.setmax(a, b);
      vmex.setmex(a, b);
      r = vmax + vmex;
    }
  }

  return r;
}

/* main */

int main() {
  int k;
  scanf("%s%d", s, &k);

  char *cpt = s;
  Val v = parse(cpt);

  printf("%d\n", v.ds[k].v);
  return 0;
}