+ محدودیت زمان: ۱ ثانیه + محدودیت حافظه: ۲۵۶ مگابایت ---------- علی بعد از روز سیزده به در می‌خواهد سمنوی سفره هفت‌سین خانه را بخورد. آن‌ها سمنو را از سوپرمارکت خریده‌اند که نام برند آن یک رشته $s$ متشکل از حروف کوچک انگلیسی است. سمنو *بیمه ابوالفضل* است اگر در نام برند آن از حرف `m` استفاده نشده باشد. |  | |:--------:| | سمنو نماد قدرت، خیر و برکت است. | برای مثال سمنوهای برند `bitpin` *بیمه ابوالفضل* هستند، ولی سمنوهای برند `samanoo` *بیمه ابوالفضل* نیستند. در ورودی به شما نام برند سمنو داده می‌شود، به علی بگویید که این سمنو *بیمه ابوالفضل* است یا خیر. # ورودی در سطر اول رشته $s$ نام برند سمنو می‌آید. تضمین می‌شود این رشته فقط از حروف کوچک انگلیسی تشکیل شده و حداکثر ۲۰ کاراکتر داشته باشد. # خروجی در صورتی که سمنو *بیمه ابوالفضل* است عبارت `Yes` و در غیر این صورت `No` را چاپ کنید. **توجه کنید سیستم داوری به بزرگ و کوچک بودن حروف حساس است.** # مثال‌ها ## ورودی نمونه ۱ ``` bitpin ``` ## خروجی نمونه ۱ ``` Yes ``` ## ورودی نمونه ۲ ``` samanoo ``` ## خروجی نمونه ۲ ``` No ``` <div> if (a<b): print(1) elif (a>b): print(1) </div>