#include <bits/stdc++.h>
using namespace std;
using ll = long long;
const int N = 1e5 + 5;
const int INF = 1E9;

// int main() {
//     ios_base::sync_with_stdio(0);
//     cin.tie(0);
//     int n;
//     ll i,t;
//     cin >> n >> i >> t;
//     vector<vector<ll>> limits(n, vector<ll>(4));
//     for(int i = 0; i < n; i++) {
//         cin >> limits[i][0] >> limits[i][1] >> limits[i][2] >> limits[i][3];
//     }
//     vector<vector<ll>> dp(n+1, vector<ll>(n+1));
//     // cout << dp[0][0] << endl;
//     if(limits[0][0]<=i&&limits[0][1]>=i&&limits[0][2]<=t&&limits[0][3]>=t) {
//         dp[0][0]=1;
//     }
//     for(int problems = 1; problems < n; problems++) {
//         for(int imple = 0; imple <= problems; imple++) {
//             if(imple!=0) {
//                 dp[problems][imple]=dp[problems-1][imple-1];
//             }
//             dp[problems][imple]=max(dp[problems-1][imple], dp[problems][imple]);
//             // dp[problems][imple]=max(dp[problems-1][imple-1], dp[problems-1][imple]);
//             // cout << i+imple << " " << t+problems-imple << endl;
//             if(limits[problems][0]<=i+imple&&limits[problems][1]>=i+imple&&limits[problems][2]<=t+problems-imple&&limits[problems][3]>=t+problems-imple) {
//                 dp[problems][imple]++;
//             }
//             // cout << problems << " " << imple << " " << dp[problems][imple] << endl;
//         }
//     }
//     ll ans = 0;
//     for(int i = 0; i <= n; i++) {
//         ans=max(ans, dp[n-1][i]);
//     }
//     cout << ans << endl;
// }   
// M
// #define int long long
// signed main() {
// 	ios_base::sync_with_stdio(false);
// 	cin.tie(0);
// 	int n; int ii; int t;
// 	cin >> n >> ii >> t;	
// 	vector<array<int, 4>> it(n);
// 	for(int i = 0; i < n; i++) {
// 		cin >> it[i][0] >> it[i][1] >> it[i][2] >> it[i][3];
// 	}
// 	vector<vector<array<int, 2>>> dp(n + 1, vector<array<int, 2>>(n + 1, {-1, -1}));
// 	dp[0][0][0] = 0; dp[0][0][1] = 0;
// 	for(int i = 0; i < n; i++) {
// 		for(int j = 0; j <= i; j++) {
// 			if(dp[i][j][0] != -1) {
// 				int ti = ii + j;
// 				int tt = t + dp[i][j][0] - j;
// 				if(ti >= it[i][0] && ti <= it[i][1] && tt >= it[i][2] && tt <= it[i][3]) {
// 					dp[i + 1][j + 1][0] = max(dp[i + 1][j + 1][0], dp[i][j][0] + 1);
// 					dp[i + 1][dp[i][j][0] - j][1] = max(dp[i + 1][dp[i][j][0] - j][1], dp[i][j][0] + 1);
// 					dp[i + 1][j][0] = max(dp[i + 1][j][0], dp[i][j][0] + 1);
// 					dp[i + 1][dp[i][j][0] - j + 1][1] = max(dp[i + 1][dp[i][j][0] - j + 1][1], dp[i][j][0] + 1);
// 				}
// 				dp[i + 1][j][0] = max(dp[i + 1][j][0], dp[i][j][0]);
// 				dp[i + 1][dp[i][j][0] - j][1] = max(dp[i + 1][dp[i][j][0] -j][1], dp[i][j][0]);
// 			}
// 			if(dp[i][j][1] != -1) {
// 				int ti = ii + dp[i][j][1] - j;
// 				int tt = t + j;
// 				if(ti >= it[i][0] && ti <= it[i][1] && tt >= it[i][2] && tt <= it[i][3]) {
// 					dp[i + 1][j + 1][1] = max(dp[i + 1][j + 1][1], dp[i][j][1] + 1);
// 					dp[i + 1][dp[i][j][1] - j][0] = max(dp[i + 1][dp[i][j][1] - j][0], dp[i][j][1] + 1);
// 					dp[i + 1][j][1] = max(dp[i + 1][j][1], dp[i][j][1] + 1);
// 					dp[i + 1][dp[i][j][1] - j + 1][0] = max(dp[i + 1][dp[i][j][1] - j + 1][0], dp[i][j][1] + 1);
// 				}
// 				dp[i + 1][j][1] = max(dp[i + 1][j][1], dp[i][j][1]);
// 				dp[i + 1][dp[i][j][1] - j][0] = max(dp[i + 1][dp[i][j][1] - j][0], dp[i][j][1]);
// 			}
// 		}
// 	}
// 	int ans = 0;
// 	for(int i = 0; i <= n; i++) {
// 		ans = max({ans, dp[n][i][0], dp[n][i][1]});
// 	}
// 	cout << ans << "\n";
// }

int main() {
	ios_base::sync_with_stdio(false);
	cin.tie(0);
	int n; int k; string s;
	cin >> n >> k >> s;
	vector<vector<vector<bitset<2501>>>> dp(n + 1, vector<vector<bitset<2501>>>(n + 1, vector<bitset<2501>>((n / 2 + 1) * (n / 2 + 1) + 1)));
	dp[0][0][0][0] = 1;
	for(int i = 0; i < n; i++) {
		for(int j = 0; j <= i; j++) {
			for(int l = 0; l <= (i - j + 1) * j; l++) {
				if(s[i] == '?' || s[i] == 'N') {
					dp[i + 1][j + 1][l] |= dp[i][j][l];
				}
				if(s[i] == '?' || s[i] == 'A') {
					dp[i + 1][j][l + j] |= dp[i][j][l];
				}
				if(s[i] == '?' || s[i] == 'C') {
					dp[i + 1][j][l] |= (dp[i][j][l] << l); 
				}
				if(s[i] != 'N' && s[i] != 'A' && s[i] != 'C') {
					dp[i + 1][j][l] |= dp[i][j][l];
				}
			}
		}
	}
	int ti = -1; int tj = -1; int tk = -1;
	for(int i = 0; i <= n; i++) {
		for(int j = 0; j <= i * (n - i + 1); j++) {
			if(dp[n][i][j][k]) {
				ti = i; tj = j; tk = k;
			}
		}
	}
	if(ti == -1) {
		cout << "-1\n";
		return 0;
	}
	string ans = "";
	for(int i = n; i; i--) {
		if((s[i - 1] == '?' || s[i - 1] == 'N') && ti > 0 && dp[i - 1][ti - 1][tj][tk]) {
			ti--;
			ans += "N";
		} else if((s[i - 1] == '?' || s[i - 1] == 'A') && tj - ti >= 0 &&  dp[i - 1][ti][tj - ti][tk]) {
			tj -= ti;
			ans += "A";
		} else if((s[i - 1] == '?' || s[i - 1] == 'C') && tk - tj >= 0 && dp[i - 1][ti][tj][tk - tj]) {
			tk -= tj;
			ans += "C";
		} else {
			if(s[i - 1] != '?') {
				ans += s[i - 1];
			} else {
				ans += "D";
			}
		}
	}
	reverse(ans.begin(), ans.end());
	cout << ans << "\n"; 
}


// //B222
// int main() {
// 	cin.tie(0)->sync_with_stdio(0);
// 	int t;
// 	cin >> t;
// 	while(t--) {
// 		string s;
// 		cin >> s;
// 		long long ans = 1<<30;
// 		//special case
// 		string start = "";
// 		for(int i = 1; i <= 999; i++) {
// 			start+=to_string(i);
// 		}
// 		for(int st = 0; st < start.size(); st++) {
// 			int end = st+s.size()-1;
// 			if(end>=start.size()) {
// 				break;
// 			}
// 			bool works = true;
// 			for(int moves = 0; moves < s.size(); moves++) {
// 				if(start[st+moves]==s[moves]||s[moves]=='?') {
// 				} else {
// 					works = false;
// 					break;
// 				}
// 			}
// 			if(works) {
// 				ans=st+1;
// 				break;
// 			}
// 		}
// 		// cout << start.substr(260,30) << endl;
// 		if(ans!=(1<<30)) {
// 			// cout << "LINE 124" << endl;
// 			cout << ans << "\n";
// 			continue;
// 		}
// 		//does not change digits
// 		for(int digits = 3; digits <= s.size(); digits++) {
// 			for(int left = 0; left < digits; left++) {
// 				bool works = true;
// 				int change = -1;
// 				for(int x = 0; x < digits; x++) {
// 					if(x==left-1||left==0&&x==digits-1) {
// 						int cur=-1;
// 						for(int y = x; y < s.size(); y+=digits) {
// 							if(s[y]!='?') {
// 								if(cur==-1) {
// 									cur=s[y]-'0';
// 									//look for change
// 									int tempcur = cur;
// 									for(int z = y; z >= digits; z-=digits) {
// 										if(tempcur==0) {
// 											int tempchange = z+1-digits;
// 											if(change==-1) {
// 												change=tempchange;
// 											} else if(change!=tempchange) {
// 												// cout << "FALSE TO LINE 149" << endl;
// 												works=false;
// 											}
// 										}
// 										tempcur--;
// 									}
// 								} else {
// 									if(cur!=s[y]-'0') {
// 										// cout << "FALSE TO LINE 157" << endl;
// 										// cout << cur << " " << y << endl;
// 										works=false;
// 									}
// 								}
// 							}
// 							if(cur!=-1) {
// 								cur++;
// 								if(cur==10) {
// 									int tempchange = y+1;
// 									if(change==-1) {
// 										change=tempchange;
// 									} else if(change!=tempchange) {
// 										// cout << "FALSE TO LINE 169" << endl;
// 										works=false;
// 									}
// 									cur=0;
// 								} else {
// 									change=-2;
// 								}
// 							}
// 						}
// 					} else {
// 						int cur = -1;
// 						for(int y = x; y < s.size(); y+=digits) {
// 							if(s[y]!='?') {
// 								if(cur==-1) {
// 									cur=s[y]-'0';
// 								} else if(cur==s[y]-'0') {
									
// 								} else if(cur+1==s[y]-'0') {
// 									// cout << "GOT TO LINE 182 " << x << " " << y << endl;
// 									//find works
// 									int tempchange = -1;
// 									for(int z = left; z <= y; z+=digits) {
// 										if(z+digits>y) {
// 											tempchange=z;
// 										}
// 									}
// 									if(change==-1) {
// 										change=tempchange;
// 									} else if(change!=tempchange) {
// 										// cout << "FALSE TO LINE 198" << endl;
// 										works=false;
// 									}
// 								} else {
// 									// cout << "FALSE TO LINE 202" << endl;
// 									works=false;
// 								}
// 							}
// 						}
// 					}
// 				}
//                 cout << digits << " " << left << " " << works << " " << change << endl;
// 			}	
// 		}
// 	}
// }