[ABC347] C - Ideal Holidays

C - Ideal Holidays

Time Limit: 2 sec / Memory Limit: 1024 MB

分数: 350 分

题面

在AtCoder王国中，一周有天，其中第一天到第天为假期，第天到第天为工作日。

Takahashi有个计划，第个计划安排在天后。

他忘记了今天是星期几。请确定他所有个计划是否都可以安排在假期中。

限制条件

---

输入

输入数据从标准输入中以如下格式给出：

输出

如果Takahashi所有个计划都可以安排在假期中，则输出Yes，否则输出No。

---

输入样例 1

3 2 5
1 2 9

输出样例 1

Yes

在这个样例中，一周有七天，其中第一天到第二天为假期，第三天到第七天为工作日。

我们假设今天是一周中的第七天。这种情况下，一天后是一周的第一天，两天后是一周的第二天，九天后也是一周的第二天，这样所有的计划都安排在假期中。因此，Takahashi的所有个计划都可以安排在假期中。

---

输入样例 2

2 5 10
10 15

输出样例 2

No

---

输入样例 3

4 347 347
347 700 705 710

输出样例 3

Yes