num=[int(i) for i in input().split()]
avg=(num[0]+num[1]+num[2])/3
if avg >= 60:
    print("NO")
else:
    print("YES")