Run id: 82549

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

48 73 96

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

no

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

yes