import qualified Data.Map as M
import Data.List

data ABC = AB | BC | AC deriving Read

main = do
  li <- getLine
  let [n,a,b,c] = map read $ words li
  co <- getContents
  let ss = map read $ lines co
  let ans = compute n a b c ss
  putStrLn ans

{-
一見、Greedyに、指定された両者のうち大きい方から小さい方へ値を移せばよさそう。
示されているNo例は、0で詰みになっているものばかり。
問題は、両者が等しいときに、いずれかの操作をしなくてはならないので、
そこで将来の可能性が増えてしまう。
それは全部パラに扱う、でいけないだろうか。
可能性が消えたらアウトということで。
-}

compute :: Int -> Int -> Int -> Int -> [ABC] -> String
compute n a b c ss =
  case loop (M.singleton (a,b,c) "") ss of
    Nothing -> "No"
    Just ts -> "Yes\n" ++ intersperse '\n' (reverse ts)

loop :: M.Map (Int,Int,Int) String -- (A,B,C)とそれに至る着手のひとつ
     -> [ABC]                      -- list of s_i
     -> Maybe String
loop m [] = snd <$> M.lookupMin m
loop m (abc:abcs) = loop (M.fromList $ filter check $ concatMap (f abc) $ M.assocs m) abcs
-- このloopはfoldlでまとめられる

check ((a,b,c),_) = a >= 0 && b >= 0 && c >= 0

-- Lensを使えばこのクローンはきれいにできそうだが。checkも込みで。
f AB ((a,b,c),st) = [((succ a, pred b, c),'A':st) | a <= b] ++ [((pred a, succ b, c),'B':st) | a >= b]
f AC ((a,b,c),st) = [((succ a, b, pred c),'A':st) | a <= c] ++ [((pred a, b, succ c),'C':st) | a >= c]
f BC ((a,b,c),st) = [((a, succ b, pred c),'B':st) | b <= c] ++ [((a, pred b, succ c),'C':st) | b >= c]
