问题描述

你的朋友向你介绍了一个单人游戏。

首先，给出一个数字 $N$。你可以从 1、2、3 中选择一个喜欢的数字，并对给定的数字进行减法运算。

这个过程最多可以进行 100 次，目标是将数字变为 0。

然而，在计算过程中有三个不能出现的数字，称为 NG 数字。只要一时刻出现了这些数字，游戏就失败了。如果 NG 数字与 N 相同，也算失败。

关于 NG 数字与 N 相同的情况，判断不正确。已经进行了重新判断。

你想要检查这个游戏是否可以实现目标。

如果可以实现目标，请输出YES，否则输出NO。

输入

输入以如下格式从标准输入中获取：

$N$

$NG_1$

$NG_2$

$NG_3$

• 第 1 行包含一个初始数字 $N (1 ≦ N ≦ 300)$。
• 第 2 行包含第一个 NG 数字 $NG_1 (1 ≦ NG_1 ≦ 300)$。
• 第 3 行包含第二个 NG 数字 $NG_2 (1 ≦ NG_2 ≦ 300)$。
• 第 4 行包含第三个 NG 数字 $NG_3 (1 ≦ NG_3 ≦ 300)$。

输出

如果可以实现目标，请输出YES，否则输出NO，并在末尾加上换行符。

示例1

2
1
7
15

输出示例1

YES

通过减去2一次，可以得到0。

示例2

5
1
4
2

输出示例2

YES

首先减去2，然后减去3，可以完成从5到3再到0的变化，达到目标。

示例3

300
57
121
244

输出示例3

NO

如果不连续减去3 100 次，无法达到目标。然而，如果只减去3，将在中间成为 NG 数字 57。