x=input().split()
a=int(a[0])
b=int(a[1])
c=int(a[2])
p=0
if a+b+c<=100:
    p+=1
if b%5==0:
    p+=1
if c%7==0:
    p+=1
if a-b>b-c:
    p+=1
if p==4:
    print("Yes")
else:
    print("No")