Run id: 108243

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

9 19 5

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

No

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

NO