Problem:
Score : 600 points

Problem Statement

There is a game that involves three variables, denoted A, B, and C.

As the game progresses, there will be N events where you are asked to make a choice.
Each of these choices is represented by a string s_i. If s_i is AB, you must add 1 to A or B then subtract 1 from the other; if s_i is AC, you must add 1 to A or C then subtract 1 from the other; if s_i is BC, you must add 1 to B or C then subtract 1 from the other.

After each choice, none of A, B, and C should be negative.

Determine whether it is possible to make N choices under this condition. If it is possible, also give one such way to make the choices.

Constraints

1 \leq N \leq 10^5

0 \leq A,B,C \leq 10^9

N, A, B, C are integers.

s_i is AB, AC, or BC.

Input

Input is given from Standard Input in the following format:

N A B C
s_1
s_2
:
s_N

Output

If it is possible to make N choices under the condition, print Yes; otherwise, print No.

Also, in the former case, show one such way to make the choices in the subsequent N lines. The (i+1)-th line should contain the name of the variable (A, B, or C) to which you add 1 in the i-th choice.

Sample Input 1

2 1 3 0
AB
AC

Sample Output 1

Yes
A
C

You can successfully make two choices, as follows:

In the first choice, add 1 to A and subtract 1 from B. A becomes 2, and B becomes 2.

In the second choice, add 1 to C and subtract 1 from A. C becomes 1, and A becomes 1.

Sample Input 2

3 1 0 0
AB
BC
AB

Sample Output 2

No

Sample Input 3

1 0 9 0
AC

Sample Output 3

No

Sample Input 4

8 6 9 1
AC
BC
AB
BC
AC
BC
AB
AB

Sample Output 4

Yes
C
B
B
C
C
B
A
A

Solution in C# (Mono-mcs 6.8.0.105) (judge verdict: Wrong Answer)


using System;
using System.Collections.Generic;
class Program
{
	static void Main(string[] args)
	{
		string[] str = Console.ReadLine().Split();
		int N = int.Parse(str[0]);
		int A = int.Parse(str[1]);
		int B = int.Parse(str[2]);
		int C = int.Parse(str[3]);
		string[] DS = new string[N];
		for(var i=0;i<N;i++){
			DS[i] = Console.ReadLine();
		}
		var a = A;
		var b = B;
		var c = C;
		string ans = "Yes";
		var list = new List<string>();
		if(A+B+C!=2){
			for(var i=0;i<N;i++){
				if(DS[i]=="AB"){
					if(a==0 && b==0){
						ans = "No";
						break;
					} else if(a<b){
						a++;
						b--;
						list.Add("A");
					} else {
						a--;
						b++;
						list.Add("B");
					}
				} else if(DS[i]=="AC"){
					if(a==0 && c==0){
						ans = "No";
						break;
					} else if(a<c){
						a++;
						c--;
						list.Add("A");
					} else {
						a--;
						c++;
						list.Add("C");
					}
				} else {
					if(b==0 && c==0){
						ans = "No";
						break;
					} else if(b<c){
						b++;
						c--;
						list.Add("B");
					} else {
						b--;
						c++;
						list.Add("C");
					}
                }
			}
		} else {
			int[,]D = new int[N+1,6];
			int[,]E = new int[N+1,6];
			string[,]F = new string[N+1,6];
			if(a==2){
				D[0,0] = 1;
			} else if(b==2){
				D[0,1] = 1;
			} else if(c==2){
				D[0,2] = 1;
			} else if(c==0){
				D[0,3] = 1;
			} else if(b==0){
				D[0,4] = 1;
			} else if(a==0){
				D[0,5] = 1;
			}
			for(var i=0;i<N;i++){
				if(DS[i]=="AB"){
					if(D[i,0]==1){
						D[i+1,3] = 1;
						E[i+1,3] = 0;
						F[i+1,3] = "B";
					}
					if(D[i,1]==1){
						D[i+1,3] = 1;
						E[i+1,3] = 1;
						F[i+1,3] = "A";
					}
					if(D[i,3]==1){
						D[i+1,0] = 1;
						E[i+1,0] = 3;
						F[i+1,0] = "A";
						D[i+1,1] = 1;
						E[i+1,1] = 3;
						F[i+1,1] = "B";
					}
					if(D[i,4]==1){
						D[i+1,5] = 1;
						E[i+1,5] = 4;
						F[i+1,5] = "B";
					}
					if(D[i,5]==1){
						D[i+1,4] = 1;
						E[i+1,4] = 5;
						F[i+1,4] = "A";
					}
				} else if(DS[i]=="AC"){
					if(D[i,0]==1){
						D[i+1,4] = 1;
						E[i+1,4] = 0;
						F[i+1,4] = "C";
					}
					if(D[i,2]==1){
						D[i+1,4] = 1;
						E[i+1,4] = 2;
						F[i+1,4] = "A";
					}
					if(D[i,4]==1){
						D[i+1,0] = 1;
						E[i+1,0] = 4;
						F[i+1,0] = "A";
						D[i+1,2] = 1;
						E[i+1,2] = 4;
						F[i+1,2] = "C";
					}
					if(D[i,3]==1){
						D[i+1,5] = 1;
						E[i+1,5] = 3;
						F[i+1,5] = "C";
					}
					if(D[i,5]==1){
						D[i+1,3] = 1;
						E[i+1,3] = 5;
						F[i+1,3] = "A";
					}
				} else {
					if(D[i,1]==1){
						D[i+1,5] = 1;
						E[i+1,5] = 1;
						F[i+1,5] = "C";
					}
					if(D[i,2]==1){
						D[i+1,5] = 1;
						E[i+1,5] = 2;
						F[i+1,5] = "B";
					}
					if(D[i,5]==1){
						D[i+1,1] = 1;
						E[i+1,1] = 5;
						F[i+1,1] = "B";
						D[i+1,2] = 1;
						E[i+1,2] = 5;
						F[i+1,2] = "C";
					}
					if(D[i,3]==1){
						D[i+1,5] = 1;
						E[i+1,5] = 3;
						F[i+1,5] = "C";
					}
					if(D[i,4]==1){
						D[i+1,3] = 1;
						E[i+1,3] = 4;
						F[i+1,3] = "B";
					}
				}
			}
			bool flag = false;
			var listB = new List<string>();
			for(var i=0;i<6;i++){
				if(D[N,i]==1){
					flag = true;
					int ca = i;
					for(var j=N;j>=1;j--){
						listB.Add(F[j,ca]);
						ca = E[j,ca];
					}
					for(var j=0;j<N;j++){
						list.Add(listB[N-1-j]);
					}
					break;
				}
			}
			if(!flag){
				ans = "No";
			}
		}
		Console.WriteLine(ans);	
		if(ans=="Yes"){
			for(var i=0;i<N;i++){
				Console.WriteLine(list[i]);	
			}
		}
	}
}