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

average = (a+b+c) / 3

print('YES') if average < 60 else print('NO')