# 3074 : 5000000000000000-SAT

print('Yes')