Run id: 91303

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

70 480 94

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

Yes

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

YES