print+(($a=<>-1)/<>|0)*2>($a/<>|0)*3?YES:NO