题目描述

有三个骰子，每个骰子有六个面，每个面上分别写有 $1, 2, 3, 4, 5, 6$。

同时掷出这三个骰子时，掷出的点数之和是否可能恰好为 $X$？

输入格式

输入只有一行，一个整数 $X$。

输出格式

如果掷出的点数之和可能为 $X$，输出 Yes；否则输出 No。

15

Yes

2

No

数据范围与提示

样例 1 解释： 例如掷出 $4, 5, 6$，点数之和为 $15$。

对于 $100\%$ 的数据，$X$ 是 $1$ 到 $20$ 之间的整数。