Run id: 7210

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

563 263 386

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

Yes

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

yes