Run id: 1927

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

3 12 20

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

No

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