Run id: 144270

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

9 19 5

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

No

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

NO