#include<bits/stdc++.h>
using namespace std;
const int maxn=45;
int n,k;
char s[maxn];
bitset<2501> f[maxn][maxn][maxn];
char t[maxn];
inline void solve(int i,int N,int C,int k){
	if(i==0) return ;
	if(f[i-1][N][C][k] && (s[i]!='N' && s[i]!='C' && s[i]!='A')){//ot
		if(s[i]!='?') t[i]=s[i];
		else t[i]='Z';
		solve(i-1,N,C,k);
	}
	else if(k>=N*C && f[i-1][N][C][k-N*C] && (s[i]=='A' || s[i]=='?')){//A
		t[i]='A';
		solve(i-1,N,C,k-N*C);
	}
	else if(N>0 && f[i-1][N-1][C][k] && (s[i]=='N' || s[i]=='?')){//N
		t[i]='N';
		solve(i-1,N-1,C,k);
	}
	else{
		t[i]='C';
		solve(i-1,N,C+1,k);
	}
}
int main(){
	scanf("%d%d",&n,&k);
	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+1-i;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]!='N' && s[i]!='A' && s[i]!='C') f[i][j][k]|=f[i-1][j][k];
				if(s[i]=='A' || s[i]=='?') f[i][j][k]|=(f[i-1][j][k]<<(j*k));
			}
		}
	}
	for(int i=0;i<=n;i++){
		if(f[n][i][0][k]){
			solve(n,i,0,k);
			for(int j=1;j<=n;j++) putchar(t[j]); 
			return 0;
		}
	}
	puts("-1");
	return 0;
}