#include<bits/stdc++.h>
using namespace std;
bitset<5000>f[44][44][44];
int n,k;
char s[44],ans[44];
void dfs(int p,int cc,int nc,int K){
    if(!p)return;
    if(s[p]!='?'){
        ans[p]=s[p];
        if(s[p]=='A')dfs(p-1,cc,nc,K-nc*cc);
        else if(s[p]=='C')dfs(p-1,cc+1,nc,K);
        else if(s[p]=='N')dfs(p-1,cc,nc-1,K);
        else dfs(p-1,cc,nc,K);
        return;
    }
    if(f[p-1][cc][nc][K])ans[p]='Z',dfs(p-1,cc,nc,K);
    else if(f[p-1][cc+1][nc][K])ans[p]='C',dfs(p-1,cc+1,nc,K);
    else if(nc&&f[p-1][cc][nc-1][K])ans[p]='N',dfs(p-1,cc,nc-1,K);
    else ans[p]='A',dfs(p-1,cc,nc,K-cc*nc);
}
int main(){
    cin>>n>>k;
    scanf("%s",s+1);
    int tc=0;
    for(int i=1;i<=n;i++)if(s[i]=='C')tc++;
    for(int C=tc;C<=n;C++)f[0][C][0].set(0);
    for(int i=1;i<=n;i++){
        for(int cc=0;cc<=n;cc++){
            for(int nc=0;nc<=n;nc++){
                if(s[i]!='A'&&s[i]!='C'&&s[i]!='N')f[i][cc][nc]|=f[i-1][cc][nc];
                if(s[i]=='A'||s[i]=='?')f[i][cc][nc]|=f[i-1][cc][nc]<<(cc*nc);
                if(s[i]=='C'||s[i]=='?')f[i][cc][nc]|=f[i-1][cc+1][nc];
                if(s[i]=='N'||s[i]=='?'&&nc)f[i][cc][nc]|=f[i-1][cc][nc-1];
            }
        }
    }
    for(int nc=0;nc<=n;nc++){
        if(f[n][0][nc][k]){
            dfs(n,0,nc,k);
            for(int i=1;i<=n;i++)cout<<ans[i];
            return 0;
        }
    }
    cout<<-1;
    return 0;
}