题目背景

嗯欧哎是欧哎界的知名比赛。本题可以用来检验嗯欧哎是否发挥出了真实水平。

此名称纯属虚构，不影射任何现实中的比赛或机构的名称。如有雷同，纯属巧合。

题目描述

一天的嗯欧哎有三道题，每道题的得分均在 $0 \sim 100$ 之间。定义一道题的得分在 $85 \sim 100$ 之间（含 $85$ 和 $100$，下同）时该题近似通过，在 $45 \sim 84$ 之间时为高分暴力，在 $25 \sim 44$ 之间时为低分暴力，在 $1 \sim 24$ 之间时为指数级暴力，若为 $0$ 分则认为是爆零。

一场发挥出真实水平的嗯欧哎有以下四种情况：

• 一道题高分暴力加一道题低分暴力加一道题指数级暴力；
• 一道题近似通过加一道题高分暴力加一道题低分暴力；
• 两道题近似通过加一道题低分暴力或高分暴力；
• 三道题近似通过。

给出一个人一天的嗯欧哎三道题的得分 $a,b,c$，求是否发挥出真实水平。

输入格式

仅一行，三个非负整数 $a, b, c$，表示某个人一天嗯欧哎三题的得分。

输出格式

仅一行，一个字符串 Yes 或 No，表示是否发挥出了真实水平。

样例

50 50 10

No

样例 1 解释

第一题的得分在 $45 \sim 84$ 之间，为高分暴力。

类似地，第二题为高分暴力，第三题为指数级暴力。

因为不符合题目里描述的任何一种，所以输出 No。

100 30 100

Yes

样例 2 解释

第一题和第三题为近似通过，第二题为低分暴力。满足“两道题近似通过加一道题低分暴力或高分暴力”的条件，所以输出 Yes。

数据范围

对于全部的数据，$0\le a,b,c\le 100$。