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 Rust (1.42.0) (judge verdict: Wrong Answer)

#![allow(unused)]

//
// Based on EbTech's Scanner https://stackoverflow.com/q/56449027
//
struct Scanner<'a, R: std::io::BufRead> {
    reader: R,
    buf: String,
    iter: std::str::SplitWhitespace<'a>,
}

impl<'a, R: std::io::BufRead> Scanner<'a, R> {
    fn new(reader: R) -> Self {
        Self { reader, buf: String::new(), iter: "".split_whitespace() }
    }

    fn get_str(&mut self) -> &str {
        if let Some(t) = self.iter.next() {
            return t;
        }
        self.buf.clear();
        self.reader.read_line(&mut self.buf).expect("I/O error");
        self.iter = unsafe { std::mem::transmute(self.buf.split_whitespace()) };
        self.get_str()
    }

    fn get<T: std::str::FromStr>(&mut self) -> T {
        self.get_str().parse().ok().expect("Parse error")
    }
}

fn main() {
    let stdin = std::io::stdin();
    solve(Scanner::new(stdin.lock()));
}

fn solve<R: std::io::BufRead>(mut sc: Scanner<R>) {
    let n: usize = sc.get();
    let a: i64 = sc.get();
    let b: i64 = sc.get();
    let c: i64 = sc.get();
    let ss: Vec<String> = (0..n).map(|_| sc.get()).collect();
        
    let mut chooseleft = vec![true; n];

    let nab = ss.iter().filter(|&s| s == "ab").count() as i64;
    let nac = ss.iter().filter(|&s| s == "ac").count() as i64;
    let nbc = ss.iter().filter(|&s| s == "bc").count() as i64;

    let mut a1 = a + nab + nac;
    let mut b1 = b - nab + nbc;
    let mut c1 = c - nab - nbc;

    if a1 < 0 {
        println!("No");
        return;
    }

    for i in 0..n {
        if a1 == 0 || b1 >= 0 {
            break;
        }
        if ss[i] == "ab" {
            chooseleft[i] = false;
            a1 -= 1;
            b1 += 1;
        }
    }

    if b1 < 0 {
        println!("No");
        return;
    }

    for i in 0..n {
        if a1 == 0 || c1 >= 0 {
            break;
        }
        if ss[i] == "ac" {
            chooseleft[i] = false;
            a1 -= 1;
            c1 += 1;
        }
    }

    for i in 0..n {
        if b1 == 0 || c1 >= 0 {
            break;
        }
        if ss[i] == "bc" {
            chooseleft[i] = false;
            b1 -= 1;
            c1 += 1;
        }
    }

    if c1 < 0 {
        println!("No");
        return;
    }

    println!("Yes");
    for i in 0..n {
        println!("{}", ss[i].chars().nth(if chooseleft[i] { 0 } else { 1 }).unwrap());
    }
}