탐욕적 동전 교환

동전 교환 문제는 동적 계획법의 기초 예제로 자주 소개된다. 문제는 다음과 같다.

• 거스름돈 $C$원을 액면이 $P_1, P_2, \dots, P_N$인 동전으로 바꿀 때, 최소 몇 개의 동전이 필요한가?

병찬이는 이 문제를 단순한 방법으로 풀려고 한다. 병찬이의 방법은 다음과 같다.

• 매 순간 아직 남은 금액 이하의 액면 중 가장 큰 동전을 하나 더한다. 남은 금액이 0이 될 때까지 이 과정을 반복한다.

하지만 병찬이의 방법이 최적이 아닌 경우가 있다. 8원을 액면이 1, 4, 6인 동전으로 바꾸면 병찬이는 6원짜리 1개와 1원짜리 2개, 모두 3개를 쓴다. 4원짜리 2개로 바꾸면 2개로 충분하다.

병찬이는 자신의 방법이 어떤 액면 구성에서는 통하고 어떤 구성에서는 통하지 않는다는 것을 알게 되었다. 동전의 액면이 주어질 때, 병찬이의 방법이 모든 $C$에 대해 최소 개수를 만들어 내는지 판정하는 프로그램을 작성하여라.

첫째 줄에 동전 액면의 개수 $N$이 주어진다. ($1 \le N \le 100$)

둘째 줄에 동전의 액면 $P_1, P_2, \dots, P_N$이 공백으로 구분되어 주어진다. $1 = P_1 < P_2 < \dots < P_N \le 100000$을 만족한다.

병찬이의 방법이 모든 $C$에 대해 항상 최적이면 Yes를, 그렇지 않으면 No를 출력한다.