#include <bits/stdc++.h>
using namespace std;
const int N=45;
const int M=2510;

int n,m;
char S[N];
bitset<M> f[N][N][N];

void output(int i,int j,int k,int c) {
	if(i<1) return ;
	if(S[i]=='N') return output(i-1,j-1,k,c);
	else if(S[i]=='C') return output(i-1,j,k+1,c);
	else if(S[i]=='A') return output(i-1,j,k,c-j*k);
	else if(S[i]!='?') return output(i-1,j,k,c);
	else {
		if(j && f[i-1][j-1][k][c]) {
			S[i]='N';
			return output(i-1,j-1,k,c);
		}
		if(f[i-1][j][k+1][c]) {
			S[i]='C';
			return output(i-1,j,k+1,c);
		}
		if(c>=j*k && f[i-1][j][k][c-j*k]) {
			S[i]='A';
			return output(i-1,j,k,c-j*k);
		}
		if(f[i-1][j][k][c]) {
			S[i]='B';
			return output(i-1,j,k,c);
		}
		assert(0);
	}
}

int main() {
	scanf("%d%d",&n,&m);
	scanf("%s",S+1);
	for(int i=0;i<=n;i++) f[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]=='?') f[i][j+1][k]|=f[i-1][j][k];
				if((S[i]=='C' || S[i]=='?') && k) f[i][j][k-1]|=f[i-1][j][k];
				if(S[i]=='A' || S[i]=='?') f[i][j][k]|=f[i-1][j][k]<<j*k;
				if(S[i]!='N' && S[i]!='C' && S[i]!='A') f[i][j][k]|=f[i-1][j][k];
			}
		}
	}
	for(int i=0;i<=n;i++) {
		if(f[n][i][0][m]) {
			output(n,i,0,m);
			printf("%s",S+1);
			return 0;
		}
	}
	printf("-1");
	return 0;
}