mod = 998244353
eps = 10**-9


def main():
    import sys
    input = sys.stdin.readline

    S = input().rstrip('\n')
    N = len(S)
    K = int(input())

    st = []
    ii = 0
    while ii < N:
        if S[ii] == "m":
            if S[ii+1] == "a":
                st.append("max")
            elif S[ii+1] == "e":
                st.append("mex")
            else:
                st.append("maex")
            ii += 4
        elif S[ii] == ",":
            ii += 1
        elif S[ii] == ")":
            L_new = [0] * 3
            L1 = st.pop()
            L2 = st.pop()
            T = st.pop()
            if T == "max":
                L_new[0] = (L1[0] * L2[0])%mod
                L_new[1] = (((L1[1] + L1[0])%mod * (L2[1] + L2[0])%mod)%mod - L_new[0])%mod
                L_new[2] = (((L1[2] + L1[1] + L1[0])%mod * (L2[2] + L2[1] + L2[0])%mod)%mod - L_new[0] - L_new[1])%mod
            elif T == "mex":
                for i in range(3):
                    for j in range(3):
                        if i != j:
                            L_new[3-i-j] = (L_new[3-i-j] + (L1[i] * L2[j])%mod)%mod
                        else:
                            if i:
                                k = 0
                            else:
                                k = 1
                            L_new[k] = (L_new[k] + (L1[i] * L2[j])%mod)%mod
            else:
                L_new[0] = (L1[0] * L2[0]) % mod
                L_new[1] = (((L1[1] + L1[0]) % mod * (L2[1] + L2[0]) % mod) % mod - L_new[0]) % mod
                L_new[2] = (((L1[2] + L1[1] + L1[0]) % mod * (L2[2] + L2[1] + L2[0]) % mod) % mod - L_new[0] - L_new[
                    1]) % mod
                for i in range(3):
                    for j in range(3):
                        if i != j:
                            L_new[3 - i - j] = (L_new[3 - i - j] + (L1[i] * L2[j]) % mod) % mod
                        else:
                            if i:
                                k = 0
                            else:
                                k = 1
                            L_new[k] = (L_new[k] + (L1[i] * L2[j]) % mod) % mod
            ii += 1
            st.append(L_new)
        else:
            if S[ii] == "?":
                st.append([1, 1, 1])
            else:
                L = [0, 0, 0]
                L[int(S[ii])] = 1
                st.append(L)
            ii += 1
    print(st[0][K])


if __name__ == '__main__':
    main()