根据每月天数的不同可以将1-12月划分为3组，如图所示。

现给定2个整数x和y（1≤x<y≤12），判断它们是否属于同一组。

输入2个整数x和y（1≤x<y≤12）

如果x和y属于同一组，输出“Yes”，否则输出“No”。