좀비 떼가 전역 때보다 먼저 오다니

사수 킬로와 부사수 헥토는 탄약고 초소에서 근무하고 있었다. 사주경계 도중 킬로는 좀비 떼가 다가오는 것을 발견하고 지휘통제실을 서둘러 호출했지만 연락이 닿지 않는다.

탄약고 초소 길의 길이는 $L$ m이다. 탄약고 초소에서 $i$ m 떨어진 길 위의 좀비는 체력 $Z_i$를 가진다. 체력이 0 이하가 된 좀비는 영구적으로 죽는다.

킬로는 개인화기로 사격해 좀비 떼를 저지하기로 하고, 헥토에게는 탄약을 운반하라고 지시했다.

특급전사 킬로의 조준사격은 길 위의 좀비가 아무리 멀리 있어도 맨 앞의 좀비에게 반드시 명중한다.

맨 앞의 좀비를 두고 그 뒤의 좀비를 조준 사격할 수는 없다. 위와 같은 조준 사격은 할 수 없다.

킬로는 좀비가 1 m 이동하는 동안 한 종류의 개인화기만 한 번 사격할 수 있다.

헥토는 탄약을 운반하느라 바빠서 사격할 수 없다.

사용할 수 있는 개인화기는 다음과 같다.

• 돌격소총 (B1)

맨 앞의 좀비의 체력을 $B1_{power}$ 낮춘다. 남은 살상력은 뒤에 있는 좀비에게 이월되지 않는다. 예를 들어, 3 m에서 적중한 소총탄의 남은 살상력 6은 4 m의 좀비에게 이월되지 않는다. 소총탄은 제한 없이 사용할 수 있다.

• 산탄총 (B2)

맨 앞의 좀비의 체력을 $B2_{power}$ 낮춘다. 남은 살상력은 뒤에 있는 좀비에게 이월되지 않는다. 예를 들어, 3 m에서 적중한 산탄의 남은 살상력 6은 4 m의 좀비에게 이월되지 않는다. 산탄은 $B2_{ammo}$발 있다.

• 저격 소총 (B3)

최초 명중한 곳으로부터 $B3_{length}$ m 안에 모인 좀비의 체력을 1 m마다 $B3_{power}$씩 낮춘다. 대구경탄의 살상력은 최초 명중한 곳으로부터 $B3_{length}$ m 안에서만 유효하다. 남은 살상력과 남은 관통 거리는 뒤에 있는 좀비에게 이월되지 않는다. 예를 들어, 6 m에 좀비가 없었다면 관통 거리 1 m가 남지만, 8 m의 좀비에게 이월되지 않는다. 대구경탄은 $B3_{ammo}$발 있다.

킬로와 헥토는 사격 후에도 탄약고 초소로부터 1 m 떨어진 길 위의 좀비를 제압하지 못하면 사망한다.

과연 킬로와 헥토는 살아남을 수 있을까?

첫 번째 줄에 탄약고 초소 길의 길이를 나타내는 정수 $L$ ($1 \le L \le 18$)이 주어진다.

두 번째 줄에 소총탄의 살상력을 나타내는 정수 $B1_{power}$ ($1 \le B1_{power} \le 100$)가 주어진다.

세 번째 줄에 산탄의 살상력을 나타내는 정수 $B2_{power}$ ($B1_{power} < B2_{power} \le 500$)와 산탄의 개수 $B2_{ammo}$ ($0 \le B2_{ammo} \le 9$)가 빈칸을 사이에 두고 주어진다.

네 번째 줄에 대구경탄의 살상력을 나타내는 정수 $B3_{power}$ ($1 \le B3_{power} \le 500$), 대구경탄의 유효 관통 거리 $B3_{length}$ ($2 \le B3_{length} \le 18$), 대구경탄의 개수 $B3_{ammo}$ ($0 \le B3_{ammo} \le 9$)가 빈칸을 사이에 두고 주어진다.

다섯 번째 줄부터 $L$개의 줄에 걸쳐 정수가 하나씩 주어진다. $i$번째 정수($1 \le i \le L$)는 탄약고 초소에서 $i$ m 떨어진 곳의 좀비의 체력 $Z_i$ ($0 \le Z_i \le 500$)이다. $Z_i$가 0이면 $i$ m 떨어진 곳에 좀비가 없다는 뜻이다.

킬로와 헥토가 살아남을 수 있다면 YES, 살아남을 수 없다면 NO를 출력한다.