题目描述

期末考试成绩出来了，小珅可以根据自己的语文、数学、英语成绩，计算出自己的总分。具体而言，他会读入自己的语文、数学、英语成绩 $ch,ma,en$，他知道自己的总分需要达到 $265$分及以上才能有个快乐的寒假。那么他到底能不能快乐起来呢？你来帮他"自己"判断一下吧。

输入格式

输入由 $1$行组成：

第 $1$行为 $3$个正整数 $ch,ma,en$，表示小珅的语文、数学、英语成绩。

输出格式

输出由 $1$行组成：

第 $1$行，如果能过上快乐的寒假则输出 "Yes"，否则输出 "No"。

38 55 12

No

数据规模与约定

对于 $100\%$的数据：

$0 \le ch,ma,en \le 100$