fn read() -> (Vec<u8>, usize) {
    use std::io::Read;
    let mut s = String::new();
    std::io::stdin().read_to_string(&mut s).unwrap();
    let mut it = s.trim().split_whitespace();
    let s = it.next().unwrap().bytes().collect::<Vec<_>>();
    let k = it.next().unwrap().parse::<usize>().unwrap();
    assert!(k <= 2);
    (s, k)
}

fn elem(s: &str, c: u8) {
    assert!(s.bytes().find(|p| *p == c).is_some());
}

const MOD: u64 = 998_244_353;

fn calc(k: &mut usize, s: &[u8]) -> [u64; 3] {
    let f = s[*k];
    *k += 1;
    let mut res = [0; 3];
    if f == b'm' {
        let op = s[*k];
        *k += 1;
        elem("ae?", op);
        elem("x", s[*k]);
        *k += 1;
        elem("(", s[*k]);
        *k += 1;
        let lhs = calc(k, s);
        elem(",", s[*k]);
        *k += 1;
        let rhs = calc(k, s);
        elem(")", s[*k]);
        *k += 1;
        for (i, l) in lhs.iter().enumerate() {
            for (j, r) in rhs.iter().enumerate() {
                if op != b'e' {
                    res[i.max(j)] += *l * *r;
                }
                if op != b'a' {
                    let x = (0..).find(|x| *x != i && *x != j).unwrap();
                    res[x] += *l * *r;
                }
            }
        }
    } else {
        elem("0123?", f);
        if f == b'?' {
            res = [1; 3];
        } else {
            res[(f - b'0') as usize] = 1;
        }
    }
    res.iter_mut().for_each(|p| *p %= MOD);
    res
}

fn main() {
    let (s, k) = read();
    let ans = calc(&mut 0, &s)[k];
    println!("{}", ans);
}