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