问题描述

基于某种标准，光头强将 1 到 12 的整数分为三组，如下图所示。

给定两个整数 $x$ 和 $y(1≤x<y≤12)$，判断它们是否属于同一组。

数据规模

$x$ 和 $y$ 是整数。

$1≤x<y≤12$

输入

输入来自标准输入，格式如下：

$x\ y$

输出

如果 $x$ 和 $y$ 属于同一个组，打印 YES；否则，打印 NO。

1 3

Yes

2 4

No