题目描述

Kevin 老师有三个骰子，每个骰子有六个面分别写着1，2，3，4，5，6。如果同时掷这些骰子，掷出的数值之和可能是X吗？

输入

第一行输入一个整数X。

输出

输出一个字符串，如果可能是X则输出"Yes"，不可能则输出"No"。

样例

15

Yes

2

No

数据范围

• 1 ≤ X ≤ 20