a, b, c = map(int, input().split())

avg = (a + b + c) / 3

if avg < 60:
    print("YES")
else:
    print("NO")