Run id: 1040

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

3 12 20

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

No

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

no