#include<iostream>
#include<array>
#include<atcoder/modint>
using namespace std;
using mint=atcoder::modint998244353;
using dat=array<mint,3>;
string S;
dat f(int&id)
{
	dat ret;ret[0]=ret[1]=ret[2]=0;
	if(S[id]=='0'||S[id]=='1'||S[id]=='2')
	{
		ret[S[id++]-'0']=1;
		return ret;
	}
	else if(S[id]=='?')
	{
		ret[0]=ret[1]=ret[2]=1;
		id++;
		return ret;
	}
	else//if(S[id]=='m')
	{
		id++;
		bool fa=S[id]!='e';
		bool fe=S[id]!='a';
		id++;
		id++;
		id++;
		dat L=f(id);
		id++;
		dat R=f(id);
		id++;
		if(fa)
		{
			ret[0]+=L[0]*R[0];
			ret[1]+=(L[0]+L[1])*(R[0]+R[1])-L[0]*R[0];
			ret[2]+=(L[0]+L[1]+L[2])*(R[0]+R[1]+R[2])-(L[0]+L[1])*(R[0]+R[1]);
		}
		if(fe)
		{
			ret[1]+=L[0]*R[0];
			ret[2]+=L[0]*R[1];
			ret[1]+=L[0]*R[2];
			ret[2]+=L[1]*R[0];
			ret[0]+=L[1]*R[1];
			ret[0]+=L[1]*R[2];
			ret[1]+=L[2]*R[0];
			ret[0]+=L[2]*R[1];
			ret[0]+=L[2]*R[2];
		}
		return ret;
	}
}
main()
{
	cin>>S;
	int K;cin>>K;
	int id=0;
	dat ans=f(id);
	cout<<ans[K].val()<<endl;
}