AT_abc011_3.[ABC011C] 123引き算

你被朋友介绍了一款单人游戏。

最初会给你一个数字 $N$。你可以从 $1$、$2$、$3$ 中任选一个数字，对当前数字进行减法操作。

这个操作最多可以进行 $100$ 次，游戏的目标是最终将数字变为 $0$。

但是，游戏过程中会给出 $3$ 个不能出现的 NG 数字，只要在计算过程中数字临时变成了这三个数字中的任意一个，游戏就会失败。如果 NG 数字与 $N$ 相同，游戏一开始就失败。

如果 NG 数字与 $N$ 相同，之前的判定不正确，现已重新评测。

你想要判断，这个游戏是否有可能达成目标。

如果可以达成目标，输出 YES，否则输出 NO。

输入通过标准输入按以下格式给出。

$N$
$NG_1$
$NG_2$
$NG_3$

• 第 $1$ 行给出初始数字 $N$，满足 $1 \leq N \leq 300$。
• 第 $2$ 行给出第一个 NG 数字 $NG_1$，满足 $1 \leq NG_1 \leq 300$。
• 第 $3$ 行给出第二个 NG 数字 $NG_2$，满足 $1 \leq NG_2 \leq 300$。
• 第 $4$ 行给出第三个 NG 数字 $NG_3$，满足 $1 \leq NG_3 \leq 300$。

如果可以达成目标，输出 YES，否则输出 NO，并在输出末尾添加换行符。

样例解释 1

通过减去 $2$ 一次，可以将 $2$ 变为 $0$。

样例解释 2

先减去 $2$，再减去 $3$，即可 $5 \to 3 \to 0$，达成目标。

样例解释 3

如果连续 $100$ 次都减去 $3$，理论上可以达成目标。但如果一直减 $3$，过程中会变成 NG 数字 $57$，因此无法达成目标。

由 ChatGPT 4.1 翻译