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 翻译