又到了 UCPC 小学的体育课时间。今天，操场上将进行一次跑五圈的跑步测试。

Wookyung 不习惯跑这么长的距离，因此他心里充满了担忧。为了鼓励他，体育老师对 Wookyung 微微一笑，说道：“别太担心。你可以跑慢一点。你只需要在最多 $1800$ 秒内跑完 $5$ 圈即可。”

在老师的鼓励下，Wookyung 鼓起勇气，开始慢慢跑了起来。他开始感到疲倦，但他没有放弃，坚持向前，最终成功完成了 $4$ 圈。

终于到了最后一圈。在短暂喘息的时候，Wookyung 开始担心起来：“我是不是跑得太慢了……？如果我把最后一圈跑好，还能通过测试吗……？”由于精疲力竭，Wookyung 觉得跑完最后一圈需要超过 $300$ 秒，但他下定决心，决定恰好用 $300$ 秒跑完最后一圈。

给定 Wookyung 已经完成的 $4$ 圈的用时记录，请判断如果他最后一圈恰好用时 $300$ 秒，他是否能通过测试。

输入格式

输入共四行。每行包含一个整数 $t_i$，表示 Wookyung 完成每圈所用的时间，单位为秒。（$1 \leq t_i \leq 1800$）

输出格式

如果 Wookyung 能通过测试，输出 Yes；否则输出 No。

样例

输入样例 1

375
375
375
375

输出样例 1

Yes

输入样例 2

375
375
375
400

输出样例 2

No

输入样例 3

300
300
300
300

输出样例 3

Yes