Run id: 98407

------Input------

46 30 30

------Answer-----

no

------Your output-----

yes