A61008.修改数字

小明很喜欢数字 $1, 2,3$。 现在他获得了三个数字 $a, b, c$， 他可以进行最多一次操作，将其中一个数字变成任意数字。请问经过最多一次操作之后，三个数字 $a, b, c$ 能否变成 $1, 2, 3$ ($a, b, c$顺序不能改变) 。

可以的话输出 YES, 否则输出 NO 。

输入三个数字 $a, b, c (1 \le a, b, c \le 100)$ 。

输出 YES 或者 NO 。