Run id: 144273

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

9 19 5

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

No

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

NO