Three Garlands

Mishka는 크리스마스트리를 장식하고 있다. 그에게는 세 개의 전구 장식이 있으며, 모두 트리에 설치할 것이다. 그 후 Mishka는 이 전구 장식들을 켤 것이다.

전구 장식을 켜면 주기적으로 상태가 바뀐다. 때로는 불이 켜지고, 때로는 켜지지 않는다. 형식적으로, i-th 전구 장식을 x-th초에 켜면, x, x + ki, x + 2ki, x + 3ki 등의 초에만 불이 켜진다.

Mishka는 전구 장식들을 켠 뒤 매초 적어도 하나의 전구 장식에 불이 켜져 있도록 전구 장식들을 켜고 싶어 한다. 형식적으로, Mishka는 세 정수 x1, x2, x3을 선택하려 한다(서로 달라도 되고 같아도 된다). 첫 번째 전구 장식은 x1-th초에, 두 번째 전구 장식은 x2-th초에, 세 번째 전구 장식은 x3-th초에 각각 켜며, max(x1, x2, x3)초부터 시작해 매초 적어도 하나의 전구 장식에 불이 켜져 있어야 한다.

이것이 가능한지 알려 주어 Help Mishka!

첫 번째 줄에는 전구 장식들의 시간 간격을 나타내는 세 정수 k1, k2, k3 (1 ≤ ki ≤ 1500)가 주어진다.

전구 장식들을 켠 뒤 매초 적어도 하나의 전구 장식에 불이 켜지도록 전구 장식을 켤 시점을 If Mishka 선택할 수 있다면 YES을 출력한다.

그렇지 않으면 NO을 출력한다.

첫 번째 예제에서 Mishka는 x1 = 1, x2 = 2, x3 = 1로 선택할 수 있다. 첫 번째 전구 장식은 1, 3, 5, 7, ...초에, 두 번째 전구 장식은 2, 4, 6, 8, ...초에 불이 켜지며, 이것만으로도 2-nd초 이후의 모든 초를 이미 포함한다. x3을 무엇으로 선택하는지는 전혀 중요하지 않다. 다만 이 선택에서는 세 번째 전구 장식이 1, 4, 7, 10, ...초에 켜진다.

두 번째 예제에서는 그러한 시점들을 선택할 방법이 없으며, 어떤 전구 장식에도 불이 켜지지 않는 초가 항상 존재한다.