问题描述

根据某个标准，Snuke将从$1$到$12$的整数分成三组，如下图所示。给定两个整数$x$和$y$（$1 ≤ x < y ≤ 12$），确定它们是否属于同一组。

约束条件

• $x$和$y$是整数。
• $1 ≤ x < y ≤ 12$

输入

输入以以下格式从标准输入中给出：

$x$ $y$

输出

如果$x$和$y$属于同一组，则打印Yes；否则，打印No。

示例输入 1

1 3

示例输出 1

Yes

示例输入 2

2 4

示例输出 2

No