P9564 [SDCPC 2023] Three Dice

骰子，是一种各面带有标记，以生成随机数的小型可投掷道具，通常用于桌上游戏。  最常见的骰子是一种小正方体，每个面上被标记了从 $1$ 到 $6$ 的数字。数字 $n$（$1 \le n \le 6$）通常由 $n$ 个小圆点组成的图案来表示，其中 $1$ 号与 $4$ 号面的小圆点是红色的，而 $2$, $3$, $5$ 与 $6$ 号面的小圆点是黑色的。 小青鱼手中有三只骰子。有一天，他将这三只骰子投掷在桌子上，并观察了朝上的那一个面。他发现所有朝上的面中，红色的点数之和恰好为 $A$，而黑色的点数之和恰好为 $B$。 然而，您对小青鱼的发现感到怀疑。您想要确认是否有可能投掷出三只骰子，使得所有朝上的面中，红色的点数之和恰好为 $A$，而黑色的点数之和恰好为 $B$。

每个测试文件仅有一组测试数据。 第一行输入两个整数 $A$ 和 $B$（$0 \leq A,B \leq 100$），表示朝上的红色点数之和与黑色点数之和。

输出一行。如果小青鱼有可能投掷出三只骰子使得所有朝上的面中，红色的点数之和恰好为 $A$，而黑色的点数之和恰好为 $B$，则输出 `Yes`。否则输出 `No`。 **【样例解释】** 在第一组样例中，其中一种合法的方案为 $4, 2, 3$。 在第二组样例中，其中一种合法的方案为 $1, 1, 1$。

In the first example, one possible solution is $4, 2, 3$. In the second example, one possible solution is $1, 1, 1$.