Description

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

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

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

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

Input Format

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

Output Format

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

50 50 10

No

100 30 100

Yes

Hint

【样例解释 #1】

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

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

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

【样例解释 #2】

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

【数据范围】

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