수영이는 여름방학을 맞이하여 많은 놀이 시설이 있는 KOI 리조트에 놀러가려고 한다.

리조트의 하루 이용권의 가격은 만원이다.

하지만 리조트의 규모는 상상을 초월하여 모든 시설을 충분히 즐기기 위해서는 하루로는 터무니없이 부족하다.

그래서 많은 이용객들은 3일 이상 연속으로 이용하기도 한다.

KOI 리조트에서는 3일 연속 이용권을 할인된 가격 이만오천원에, 연속 5일권은 삼만칠천원에 판매하고 있다.

게다가 연속 3일권, 연속 5일권에는 쿠폰이 각각 1장, 2장이 함께 포함되어 있다.

쿠폰 3장은 하루 이용권 한 장으로 교환할 수 있다.

연속 3일권과 연속 5일권은 구입일로부터 연속으로 3일 혹은 5일간만 이용이 가능하지만 해당 기간을 모두 이용할 필요는 없다.

수영이는 N일의 여름방학 중 다른 일정으로 리조트에 갈 수 없는 날이 M 일 있다.

KOI 리조트를 사랑하는 수영이는 그 외의 모든 날을 KOI 리조트에서 보내고자 한다.

물론, 가장 저렴한 비용으로 리조트를 이용하고자 한다.

예를 들어, 여름방학이 13일이라고 하고, 여름방학 기간 중 리조트에 갈 수 없는 날이 4번째, 6번째, 7번째, 11번째, 12번째 날이라고 하자.

다음표의 첫 번째 행은 13일의 여름방학을 나타내고, 리조트에 갈 수 없는 날은 검정색으로 표시되어있다.

표의 두 번째 행과 세 번째 행은 수영이가이용권을 구입하는 두 가지 방법을 나타낸다.

두 번째 행의 구입 방법은 다음과 같다.

여름방학의 첫 번째 날에 연속 3일권을 구입하여 3번째날까지 리조트를 이용하고, 구매시 1장의 쿠폰을받는다.

5번째 날에는 하루 이용권을 구입하여 이용한다.

8번째 날에는 연속 3일권을 구입하여 10번째 날까지 리조트를 이용하고, 역시 구매시 쿠폰 1장을 받는다.

13번째 날에는 하루 이용권을 구입하여 리조트를 이용한다. 이렇게 하여 수영이가 리조트 이용을 위해 지불한 전체 비용은 70,000원이다.

세 번째 행은 더 저렴한 비용으로 리조트를 이용하는 구입 방법이다.

여름방학의 첫 번째 날에 연속 5일권을 구입하여 5번째 날까지 리조트를 이용하고(4번째 날 제외), 구매시 2장의 쿠폰을 받는다.

그리고 8번째 날에 연속 3일권을 구입하여 10번째 날까지 리조트를 이용하고, 역시 구매시 쿠폰 1장을 받는다.

13번째 날에는 그때까지 받은 3장의 쿠폰을 하루 이용권 한 장으로 교환하여 리조트를 이용한다.

이렇게 하여 수영이가 리조트 이용을 위해 지불한 전체 비용은 62,000원이다.

여름방학 기간과 리조트에 갈 수 없는 날의 정보가 주어질 때,

리조트를 이용하기 위해서 수영이가 지불해야 하는 최소비용을 계산하는 프로그램을 작성하시오.

리조트(초등/고등) timer 1초 memory 64MB

리조트(초등/고등) 1초 64MB