#include<bits/stdc++.h>
using namespace std;
#define rep(i,n) for(int i=1;i<=n;i++)
#define pb push_back
#define mp make_pair
#define data dataa
using LL=long long;
using ULL=unsigned long long;
using LD=long double;
const int N=41;
bitset<2501>f[N][N][N*N];
char s[N];
int n,K;
void print(int N,int NA)
{
    int NAC=K;
    for(int i=n;i;i--)
    if(s[i]=='N')N--;
    else if(s[i]=='A')NA-=N;
    else if(s[i]=='C')NAC-=NA;
    else if(s[i]=='?')
    {
        if(N&&f[i-1][N-1][NA][NAC])N--,s[i]='N';
        else if(NA>=N&&f[i-1][N][NA-N][NAC])NA-=N,s[i]='A';
        else if(NAC>=NA&&f[i-1][N][NA][NAC-NA])NAC-=NA,s[i]='C';
        else s[i]='D';
    }
    rep(i,n)printf("%c",s[i]);puts("");
    exit(0);
}
int main()
{
    scanf("%d%d",&n,&K);
    scanf("%s",s+1);
    f[0][0][0].set(0);
    for(int i=0;i<n;i++)
    for(int j=0;j<=i;j++)
    for(int k=0;k<=j*(i-j);k++)
    if(s[i+1]=='N')f[i+1][j+1][k]|=f[i][j][k];
    else if(s[i+1]=='A')f[i+1][j][k+j]|=f[i][j][k];
    else if(s[i+1]=='C')f[i+1][j][k]|=f[i][j][k]<<k;
    else if(s[i+1]!='?')f[i+1][j][k]|=f[i][j][k];
    else
    {
        f[i+1][j+1][k]|=f[i][j][k];
        f[i+1][j][k+j]|=f[i][j][k];
        f[i+1][j][k]|=f[i][j][k]<<k;
        f[i+1][j][k]|=f[i][j][k];
    }
    for(int i=0;i<=n;i++)for(int j=0;j<=i*(n-i);j++)if(f[n][i][j][K])print(i,j);
    puts("-1");
    return 0;
}