AT_abc456_a [ABC456A] Dice
题目描述
有三个骰子，每个骰子有六个面。每个面的数字分别为 $1, 2, 3, 4, 5, 6$。
当这三个骰子同时掷出时，是否有可能使掷出的三个数字之和等于 $X$？
输入格式
输入从标准输入读入，格式如下：
> $X$
输出格式
如果有可能使掷出的点数之和等于 $X$，请输出 `Yes`；否则输出 `No`。
说明/提示
### 样例解释 1
例如，若掷出的点数为 $4, 5, 6$，它们的和为 $15$。
### 限制条件
- $X$ 为 $1$ 到 $20$ 之间的整数，包含 $1$ 和 $20$。
由 ChatGPT 5 翻译