Run id: 144281

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

9 19 5

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

No

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

no