#include<bits/stdc++.h>
using namespace std;
int n,m;
char s[50];
char t[50];
bitset<2501> f[41][41][41];
void dfs(int st,int a,int b,int c){
	if(st==0){
		for(int i=1;i<=n;i++) putchar(t[i]);
		exit(0);
	}
	if(s[st]=='N'){
		t[st]='N';
		dfs(st-1,a-1,b,c);
	}else if(s[st]=='A'){
		t[st]='A';
		dfs(st-1,a,b,c-a*b);
	}else if(s[st]=='C'){
		t[st]='C';
		dfs(st-1,a,b+1,c);
	}else if('A'<=s[st]&&s[st]<='Z'){
		t[st]=s[st];
		dfs(st-1,a,b,c);
	}else{
		if(a&&f[st-1][a-1][b][c]){
			t[st]='N';
			dfs(st-1,a-1,b,c);
		}
		if(a*b<=c&&f[st-1][a][b][c-a*b]){
			t[st]='A';
			dfs(st-1,a,b,c-a*b);
		}
		if(f[st-1][a][b+1][c]){
			t[st]='C';
			dfs(st-1,a,b+1,c);
		}
		if(f[st-1][a][b][c]){
			t[st]='B';
			dfs(st-1,a,b,c);
		}
	}
}
int main(){
	scanf("%d%d%s",&n,&m,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;k++){
				if(s[i]=='N'){
					f[i][j+1][k]|=f[i-1][j][k];
				}else if(s[i]=='A'){
					f[i][j][k]|=(f[i-1][j][k]<<j*k);
				}else if(s[i]=='C'){
					f[i][j][k]|=f[i-1][j][k+1];
				}else if('A'<=s[i]&&s[i]<='Z'){
					f[i][j][k]|=f[i-1][j][k];
				}else{
					f[i][j+1][k]|=f[i-1][j][k];
					f[i][j][k]|=(f[i-1][j][k]<<j*k);
					f[i][j][k]|=f[i-1][j][k+1];
					f[i][j][k]|=f[i-1][j][k];
				}
			}
		}
	}
	for(int i=0;i<=n;i++){
		if(f[n][i][0][m]){
			dfs(n,i,0,m);
		}
	}
	puts("-1");
	return 0;
}