# 读取三门成绩
A, B, C = map(int, input().split())

# 计算平均分
average = (A + B + C) / 3

# 判断是否会被请家长
if average < 60:
    print("YES")
else:
    print("NO")