import sys

for s in sys.stdin:

    C=[0]+[1]*10

    a,b,c=list(map(int,s.split()))

    C[a]=0

    C[b]=0

    C[c]=0

    if sum(C[:21-a-b])>=4:print("YES")

    else: print("NO")
import sys

for s in sys.stdin:

    a,b,c=list(map(int,s.split()))

    x=20-a-b

    f=3

    if x<a: f-=1

    if x<b: f-=1

    if x<c: f-=1

    if x-f>=4:print("YES")

    else: print("NO")
import sys

for s in sys.stdin:
    C = [0] + [1] * 10
    a, b, c = list(map(int, s.split()))
    C[a] = 0
    C[b] = 0
    C[c] = 0
    if sum(C[: 21 - a - b]) >= 4:
        print("YES")
    else:
        print("NO")

import sys

for s in sys.stdin:
    a, b, c = list(map(int, s.split()))
    x = 20 - a - b
    f = 3
    if x < a:
        f -= 1
    if x < b:
        f -= 1
    if x < c:
        f -= 1
    if x - f >= 4:
        print("YES")
    else:
        print("NO")

-    C = [0] + [1] * 10 -    C[a] = 0 -    C[b] = 0 -    C[c] = 0 -    if sum(C[: 21 - a - b]) >= 4: +    x = 20 - a - b +    f = 3 +    if x < a: +        f -= 1 +    if x < b: +        f -= 1 +    if x < c: +        f -= 1 +    if x - f >= 4: