Sources

a, b, c = [int(x) for x in input().split()] if a + b < 47 or a + c < 47 or b + c < 47: print('YES') else: print('NO')