Run id: 99211

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

48 73 96

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

no

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

yes