Run id: 119348

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

30 95 65

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

no

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

yes