지니들

Aladdin은 방금 마법의 램프를 발견했고, 그것을 몇 번 문지르자 그의 앞에 지니가 나타났다. Aladdin은 지니에게 지니에 관한 이야기를 들었습니다. 저는 3개의 소원을 빌 수 있지만, 소원을 더 빌게 해 달라는 소원은 빌 수 없습니다. 맞습니까?''라고 말했다. 지니는 하지만 나처럼 더 강한 지니에게는 허점이 있지.''라고 대답한다. 지니들에게는 계급 체계가 있다는 사실이 밝혀졌다. 계급이 $K$인 지니는 $K$개의 소원을 들어줄 수 있으며, $K$개의 소원을 모두 사용해야 한다. 각 지니에게 빌 수 있는 소원 중 최대 하나는 다른 지니를 불러내는 데 사용할 수 있으며, 그렇게 불러낸 지니는 더 많은 소원을 들어줄 수 있다.

그러나 계급이 $K$인 지니는 더 낮은 계급 $K' \leq K-C$의 지니만 불러낼 수 있다. 예를 들어, $C = 2$이면 계급이 5인 지니에게 계급이 1, 2, 또는 3인 다른 지니를 불러내 달라고 요청할 수 있다. 따라서 Aladdin은 어떤 $K' \leq K-C$에 대해 ``계급이 $K'$인 다른 지니를 불러내 주세요''와 같은 형태의 소원을 빌 수 있다. 물론 1보다 낮은 계급의 지니는 없다.

진짜 소원''은 새로운 지니를 불러내지 않는 모든 소원이다. 예를 들어, Aladdin은 지니에게 제 컴퓨터 프로그램에서 버그가 모두 사라지게 해 주세요.''라고 말할 수 있다.

Aladdin은 정확히 $W$개의 진짜 소원을 빌 수 있는가?

첫째 줄에 세 양의 정수 $W$($1 \leq W \leq 500$), $K$($1 \leq K \leq 200$), 그리고 $C$($1 \leq C \leq 200$)가 주어진다. 여기서 $W$는 Aladdin이 빌고자 하는 진짜 소원의 개수이고, $K$는 처음 지니의 계급이며, $C$는 Aladdin이 소원으로 불러낼 수 있는 지니들의 계급을 결정한다.

Aladdin이 정확히 $W$개의 진짜 소원을 빌 수 있다면 yes를 출력한다. 그렇지 않으면 no를 출력한다.