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

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

탄약고 초소 길의 길이는 L m이며, 탄약고 초소로부터 i m 떨어진 길 위에 있는 좀비의 체력은 Zi이다. 체력이 0 이하가 된 좀비는 영구적으로 죽는다.

킬로는 자신이 개인화기 사격으로 좀비 떼를 저지할 테니 헥토에게 탄약을 운반할 것을 지시했다.

특급전사 킬로의 조준사격은 탄약고 초소 길 위의 좀비가 아무리 멀리 있다 하더라도 맨 앞의 좀비에게 반드시 명중한다.

또한, 맨 앞의 좀비를 두고 다른 좀비를 조준 사격할 수 없다. 즉, 위와 같은 조준 사격은 할 수 없다.

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

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

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

돌격소총 (B1)

맨 앞의 좀비의 체력을 B1power 낮춘다.

남은 살상력이 뒤에 있는 좀비에게 이월되지 않는다. 예를 들어, 3 m에서 적중한 소총탄의 남은 살상력 6이 4 m의 좀비에게 이월되는 일은 없다.

소총탄은 탄약고에 매우 많아 제한 없이 사용할 수 있다.

산탄총 (B2)

맨 앞의 좀비의 체력을 B2power 낮춘다.

남은 살상력이 뒤에 있는 좀비에게 이월되지 않는다. 예를 들어, 3 m에서 적중한 산탄의 남은 살상력 6이 4 m의 좀비에게 이월되는 일은 없다.

산탄은 B2ammo발 있다.

저격 소총 (B3)

최초 명중한 곳으로부터 B3length m 내에 모인 좀비의 체력을 각 1 m마다 B3power씩 낮춘다.

대구경탄의 살상력은 최초 명중한 곳으로부터 B3length m 내에서만 유효하다. 남은 살상력은 물론이고, 남은 관통 거리가 뒤에 있는 좀비에게 이월되지 않는다. 예를 들어, 6 m에 좀비가 없었으므로 관통 거리 1 m가 남아 8 m의 좀비에게 이월되는 일은 없다.

대구경탄은 B3ammo발 있다.

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

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

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

두 번째 줄에 소총탄의 살상력을 나타내는 정수 B1power (1 ≤ B1power ≤ 100)가 주어진다.

세 번째 줄에 산탄의 살상력을 나타내는 정수 B2power (B1power < B2power ≤ 500)와 산탄의 개수 B2ammo (0 ≤ B2ammo ≤ 9)가 빈칸을 사이에 두고 주어진다.

네 번째 줄에 대구경탄의 살상력을 나타내는 정수 B3power (1 ≤ B3power ≤ 500)와 대구경탄의 유효 관통 거리를 나타내는 정수 B3length (2 ≤ B3length ≤ 18), 대구경탄의 개수 B3ammo (0 ≤ B3ammo ≤ 9)가 빈칸을 사이에 두고 주어진다.

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

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

문제

입력

출력