T454245 「2024 百度之星选拔赛」神圣庄严的大赌场

 骰（tóu）子，是一种游戏用具或赌具。一般用于麻将、棋牌类游戏等活动。 最常见的骰子是一种小正方体，每个面上被标记了从 $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`。

第一组样例中，一种合法的方案为 $1, 4, 3$。 第二组样例中，一种合法的方案为 $1, 1, 4$。