水明老师手上有三个灯环，水明想点亮灯环。 有时候灯环会亮，有时候不会，因为它是坏掉的灯泡。如果第i个灯环在第x秒点亮，则它仅每k秒亮一秒，即在x，x+k….x+k*i时会亮的。 水明希望每一秒都能有一个灯环是亮的。
水明能选择三个整数x1,x2,x3，第x1秒打开第一个灯环，第x2秒打开第二个灯环，第x3秒打开第三个灯环，并且在从max（x1，x2，x3）开始的每秒中，至少一个灯环会亮。 帮助水明告诉他要不要尝试。
水明老师手上有三个灯环，水明想点亮灯环。 有时候灯环会亮，有时候不会，因为它是坏掉的灯泡。如果第i个灯环在第x秒点亮，则它仅每k秒亮一秒，即在x，x+k….x+k*i时会亮的。 水明希望每一秒都能有一个灯环是亮的。
水明能选择三个整数x1,x2,x3，第x1秒打开第一个灯环，第x2秒打开第二个灯环，第x3秒打开第三个灯环，并且在从max（x1，x2，x3）开始的每秒中，至少一个灯环会亮。 帮助水明告诉他要不要尝试。
第一行包含三个整数k1，k2和k3（1 <= ki <= 1500） - 灯环闪烁的时间间隔。
如果水明能成功输出YES，否则输出NO
2 2 3
YES