#include<bits/stdc++.h>
#define N 45
#define M 2510
using namespace std;
int n,k;
char s[N],ans[N];
bitset<M> f[N][N][N];
void print(int now,int x,int y,int K){
    if(!now)return ;
    if(s[now]!='?'){
        ans[now]=s[now];
        if(s[now]=='N')print(now-1,x-1,y,K);
        else if(s[now]=='A')print(now-1,x,y,K-x*y);
        else if(s[now]=='C')print(now-1,x,y+1,K);
        else print(now-1,x,y,K);
        return ;
    }
    if(f[now-1][x][y][K])ans[now]='B',print(now-1,x,y,K);
    else if(f[now-1][x-1][y][K])ans[now]='N',print(now-1,x-1,y,K);
    else if(f[now-1][x][y+1][K])ans[now]='C',print(now-1,x,y+1,K);
    else if(K>=x*y&&f[now-1][x][y][K-x*y])ans[now]='A',print(now-1,x,y,K-x*y);
}
int main(){
    scanf("%d%d%s",&n,&k,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<=n;j++){
            for(int l=0;l<=n;l++){
                if(s[i]!='N'&&s[i]!='A'&&s[i]!='C')f[i][j][l]|=f[i-1][j][l];
                if((s[i]=='?'||s[i]=='N')&&j)f[i][j][l]|=f[i-1][j-1][l];
                if((s[i]=='?'||s[i]=='C')&&l<n)f[i][j][l]|=f[i-1][j][l+1];
                if((s[i]=='?'||s[i]=='A'))f[i][j][l]|=(f[i-1][j][l]<<(j*l));
            }
        }
    }
    for(int i=0;i<=n;i++)
        if(f[n][i][0][k]){
            print(n,i,0,k);
            for(int j=1;j<=n;j++)putchar(ans[j]);
            return 0;
        }
    puts("-1");
}