ICPC World Finals
时间限制:C/C++/Rust/Pascal 1秒,其他语言2秒
空间限制:C/C++/Rust/Pascal 1024 M,其他语言2048 M
64bit IO Format: %lld

题目描述

\hspace{15pt}在大学生算法竞赛的社区里流传着这样一句话:"如果一个队的队长四级没过并且挂了科,那么他就 \rm WF 了。"(也就是说如果一个队长没通过英语四级考试(\rm CET 4)并且存在必修课不及格的记录,则他就能晋级 \rm ICPC\ \rm World\ Finals,也就是世界总决赛,简称 \rm WF。)
\hspace{15pt}当然,这显然是一句玩笑话。通过夸张的描述体现出晋级 \rm WF 需要超乎常人的努力,以至于可能会影响到很多别的学业。
\hspace{15pt}但小苯身为队长仍然对此深信不疑,因此他给定你:他的四级成绩 s,以及作为衡量指标的三门必修课成绩 s_1, s_2, s_3,请你来判断一下,依照上述的传言,他能否晋级 \rm WF
\hspace{15pt}注意:四级通过的分数线为:425 分,必修课及格的分数线为:60 分。

输入描述:

\hspace{15pt}一行四个整数 s, s_1, s_2, s_3\ (0 \leqq s \leqq 710;\,0 \leqq s_1, s_2, s_3 \leqq 100)

输出描述:

\hspace{15pt}输出一行一个字符串,如果按照传言判断小苯能晋级 \rm WF,则输出 "\rm YES",否则输出 "\rm NO"。
示例1

输入

复制
389 56 98 100

输出

复制
YES

说明

\hspace{15pt}小苯的四级只考了 389 分,没过四级,并且第一门必修课 56 分,不够及格线 60,因此产生了挂科记录。因此按照传言的考核标准,小苯可以晋级 \rm WF
示例2

输入

复制
430 70 98 49

输出

复制
NO

说明

\hspace{15pt}小苯的四级考了 430 分,已经通过了四级,因此按照传言的考核标准,不可能晋级 \rm WF 了。
示例3

输入

复制
356 98 60 98

输出

复制
NO

说明

\hspace{15pt}小苯的四级只考了 356 分,没过四级,但三门用于考核的必修课都不低于 60 分,因此没有产生挂科记录,因此按照传言的考核指标,小苯不可能晋级 \rm WF 了。

备注:

以下是今年的 \rm ICPC\ WF 队伍介绍,与题目无关。
他们是: