import sys

for line in sys.stdin:
    a = line.split()
    avg = (int(a[0]) + int(a[1]) + int(a[2])) / 3
    if avg >= 60:
        print('NO')
    else:
        print('YES')