#include <bits/stdc++.h>
#define ff first
#define ss second
using namespace std;

typedef long long ll;
typedef pair<int, int> pii;
typedef pair<ll, ll> pll;

const int MAXN = 40;

int N, K;
char S[MAXN+10], ans[MAXN+10];
bitset<2600> dp[MAXN+10][MAXN+10][MAXN+10];

int main() {
	cin.tie(0); ios_base::sync_with_stdio(0);
	
	scanf("%d%d", &N, &K);
	scanf(" %s", S+1);
	
	for(int i=0; i<=N; i++) dp[0][0][i][0]=1;
	for(int i=1; i<=N; i++)
	{
		for(int j=0; j<=i; j++)
		{
			for(int k=0; k<=N-i+1; k++)
			{
				if(S[i]=='N' || S[i]=='?') if(j>=1) dp[i][j][k]|=dp[i-1][j-1][k];
				if(S[i]=='A' || S[i]=='?') dp[i][j][k]|=(dp[i-1][j][k]<<(j*k));
				if(S[i]=='C' || S[i]=='?') if(k+1<=N) dp[i][j][k]|=dp[i-1][j][k+1];
				if((S[i]!='N' && S[i]!='A' && S[i]!='C') || S[i]=='?') dp[i][j][k]|=dp[i-1][j][k];
			}
		}
	}
	
	for(int i=0; i<=N; i++)
	{
		if(dp[N][i][0][K])
		{
			int p=i, q=0, r=K;
			for(int i=N; i>=1; i--)
			{
				if((S[i]=='N' || S[i]=='?') && p>=1 && dp[i-1][p-1][q][r])
				{
					ans[i]='N';
					p--;
				}
				else if((S[i]=='A' || S[i]=='?') && r-p*q>=0 && dp[i-1][p][q][r-p*q])
				{
					ans[i]='A';
					r-=p*q;
				}
				else if((S[i]=='C' || S[i]=='?') && q+1<=N && dp[i-1][p][q+1][r])
				{
					ans[i]='C';
					q++;
				}
				else
				{
					if(S[i]=='?') ans[i]='B';
					else ans[i]=S[i];
				}
			}
			ans[N+1]=0;
			printf("%s\n", ans+1);
			return 0;
		}
	}
	printf("-1\n");
}