A,B,C=map(int,input().split())
avg=(A+B+C)/3
if avg >= 60:
    print('NO')
else:
    print('YES')