a,b,c=map(int,input().split())
avg=(a+b+c)/3
if avg<60:
    print("YES")
else:
    print("NO")