CF911C Three Garlands

Mishka 正在装饰圣诞树。他有三串彩灯，并且它们都会被装在树上。之后，Mishka 会将这些彩灯打开。 当一串彩灯被打开时，它的状态会周期性变化——有时亮着，有时不亮。具体地说，如果第 $i$ 串彩灯在第 $x$ 秒被打开，那么它只会在第 $x$、$x+k_{i}$、$x+2k_{i}$、$x+3k_{i}$ 等秒数亮着。 Mishka 想要选择合适的时刻打开彩灯，使得在这三串彩灯全部打开之后的每一秒，至少有一串是亮的。形式化地说，Mishka 需要选择三个整数 $x_{1}$、$x_{2}$ 和 $x_{3}$（他们不一定不相同），分别表示他在第 $x_{1}$ 秒、$x_{2}$ 秒、$x_{3}$ 秒打开第一、第二和第三串彩灯，并且满足从 $max(x_{1},x_{2},x_{3})$ 开始的每一秒，至少有一串彩灯是亮着的。 请你帮助 Mishka，告诉他是否有这样的打开方式！

输入一行，包含三个整数 $k_{1}$、$k_{2}$ 和 $k_{3}$（$1 \leq k_{i} \leq 1500$），分别表示三串彩灯的周期。

如果 Mishka 能够选择合适的打开时刻，使得在所有三串彩灯被打开之后的每一秒至少有一串亮着，输出 YES。 否则，输出 NO。

在第一个样例中，Mishka 可以选择 $x_{1}=1$，$x_{2}=2$，$x_{3}=1$。第一串彩灯会在第 $1,3,5,7,\ldots$ 秒亮起，第二串会在第 $2,4,6,8,\ldots$ 秒亮起，这样从第 $2$ 秒开始每一秒都有至少一串彩灯亮着。实际上第三串的打开时刻无所谓，我们的选择只是让它在第 $1,4,7,10,\ldots$ 秒亮着。 在第二个样例中，无论怎样选择打开时刻，总有某些秒没有任何一串彩灯亮着。 由 ChatGPT 5 翻译