리조트

수영이는 여름방학을 맞아 놀이 시설이 많은 KOI 리조트에 놀러 가려고 한다. 리조트의 하루 이용권 가격은 만 원이다. 리조트 규모가 워낙 커서 시설을 충분히 즐기기에 하루는 턱없이 모자라고, 그래서 3일 이상 연속으로 이용하는 손님도 많다. KOI 리조트는 연속 3일권을 이만오천 원에, 연속 5일권을 삼만칠천 원에 판다. 연속 3일권에는 쿠폰 1장, 연속 5일권에는 쿠폰 2장이 함께 들어 있다. 쿠폰 3장은 하루 이용권 한 장으로 교환할 수 있다.

연속 3일권과 연속 5일권은 구입한 날부터 이어지는 3일 또는 5일 동안만 이용할 수 있지만, 그 기간을 모두 이용할 필요는 없다.

수영이의 여름방학은 $N$일이고, 그중 다른 일정 때문에 리조트에 갈 수 없는 날이 $M$일 있다. 수영이는 갈 수 없는 날을 뺀 나머지 모든 날을 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원이다.

여름방학 기간과 리조트에 갈 수 없는 날이 주어질 때, 수영이가 리조트를 이용하려고 지불해야 하는 최소 비용을 구하는 프로그램을 작성하시오.

첫째 줄에 수영이의 여름방학 일수 $N$($1 \le N \le 100$)과 리조트에 갈 수 없는 날의 수 $M$($0 \le M \le N$)이 공백을 사이에 두고 순서대로 주어진다.

$M$이 0보다 크면 둘째 줄에 리조트에 갈 수 없는 날이 1 이상 $N$ 이하의 정수로, 날짜가 커지는 순서대로 $M$개 주어진다. $M$이 0이면 둘째 줄은 주어지지 않는다.

리조트에 갈 수 없는 날을 뺀 나머지 모든 날에 리조트에 들어가려고 지불해야 하는 비용의 최솟값을 한 줄에 출력한다.