Res=["AC","WA","TLE","MLE","OLE","RE"]

S=list(map(int,input().split()))
H={Res[i]:S[i] for i in range(6)}

T=list(map(int,input().split()))
J={Res[j]:T[j] for j in range(6)}

X=input()

#================================================
#Checker
for x in Res:
    assert 0<=H[x]<=100,"変更前の結果{}の値が範囲外({}).".format(x,H[x])
    assert 0<=J[x]<=600,"変更後の結果{}の値が範囲外({}).".format(x,J[x])

assert sum(H.values())-H["AC"],"変更前のテストケースに誤答が存在しない."
assert sum(J.values())-J["AC"],"変更後のテストケースに誤答が存在しない."
assert sum(H.values())==sum(J.values()),"テストケースが変化した(前:{},後:{}).".format(sum(H.values()),sum(J.values()))
assert X in Res,"結果がおかしい().".format(X)

for y in Res:
    if y==X:
        assert H[y]<=J[y],"矛盾した結果({}:{}->{})".format(y,H[y],J[y])
    else:
        assert H[y]>=J[y],"矛盾した結果({}:{}->{})".format(y,H[y],J[y])
#================================================
Flag=(H[X]==0)

for Z in Res[1:]:
    if Z=="AC" or Z==X:
        continue

    Flag&=(J[Z]==0)

if Flag:
    print("Yes")
else:
    print("No")