문제

오늘 여러분은 지금 가지고 있는 사탕을 친구와 나눠 먹기로 했습니다.

여러분은 총 개의 사탕을 가지고 있으며, 번째 사탕은 맛의 종류를 나타내는 수 를 가지고 있습니다.

여러분은 가지고 있는 사탕 중 개를 친구에게 나눠주려고 합니다.

그런데, 같은 맛의 사탕을 여러 개 먹으면 쉽게 질리기 때문에, 여러분과 친구 모두 같은 종류의 사탕을 개 가지고 있는 것을 좋아하지 않습니다.

과연 여러분과 친구 모두 서로 다른 종류의 사탕 개를 가지고 있도록 친구에게 개의 사탕을 줄 수 있을까요?

입력

첫 번째 줄에 양의 정수 이 주어집니다.

두 번째 줄에 사탕의 종류를 나타내는 개의 정수 이 공백으로 구분되어 주어집니다.

출력

여러분과 친구 모두 서로 다른 종류의 사탕 개를 가지고 있도록 할 수 있다면 Yes를, 아니면 No를 한 줄에 출력합니다.

채점

제한:

서브태스크:

노트

첫 번째 예제에서 친구에게 번째, 번째, 번째 사탕을 주면 여러분과 친구가 가진 사탕의 종류는 다음과 같습니다.

• 여러분:
• 친구:

따라서 첫 번째 예제에서는 여러분과 친구 모두 서로 다른 종류의 사탕 개를 가질 수 있습니다.

두 번째 예제에서는 여러분과 친구 모두 서로 다른 종류의 사탕 개를 가지고 있도록 할 수 없습니다.