问题描述

一个人只有每天睡眠时间达到 $8$ 小时才算是睡够的。 现统计某人的中午睡觉时间 $x$ 分钟，晚上睡觉时间 $y$ 小时。 已知中午睡觉 $1$ 分钟相当于晚上睡觉 $3$ 分钟， $8$ 小时的睡眠时间以晚上睡觉时间为标准。

请判断该人是否睡眠充足。

输入格式

输入两个整数 $x, y$：

$0 \leq x \leq 1000$，表示中午睡觉的分钟数；

$0 \leq y \leq 7$，表示晚上睡觉的小时数。

输出格式

如果睡眠时间充足，输出 Yes；

否则输出 No。

样例输入

40 6

样例输出

Yes