사료 판매

농부 존은 호주의 거대한 바퀴벌레들이 그의 전체 건초 재고를 다 먹어버려 아무것도 남지 않아 엄청난 손실을 입었습니다. 이로 인해 그는 소들에게 먹일 것이 없어져, 용량이 C (1 <= C <= 50,000) 입방 단위인 와곤을 이끌고 농부 존에게 건초를 사러 갔습니다.

농부 존은 용량이 H (1 <= H <= 5,000)인 다양한 건초 더미들을 판매하고 있었는데, 각각의 건초 더미들은 용량이 (1 <= V_i <= C) 입니다. 건초 더미들을 와곤에 집어 넣을 때는 조금 유연하게 취급하여 와곤의 기이한 공간에도 잘 넣을 수 있습니다.

존은 소들에게 살 수 있는 가장 많은 양의 건초를 계산하기 위해 용량을 신중하게 평가합니다.

소유한 와곤의 용량 제한과 구매할 건초 더미들의 목록이 주어졌을 때, 존이 사야 할 건초의 최대 양은 얼마인지 구해보세요.  당연히, 건초 더미를 일부만 구매할 수는 없습니다. 각 입력 라인(첫 번째의 이후)은 존이 사야 될 단일 건초 더미에 대해 설명합니다.

• 줄 1: 두 개의 공백으로 구분된 정수: C와 H
• 줄 2..H+1: 각 줄은 단일 건초 더미의 용량을 설명합니다: V_i

• 줄 1: 판매되는 건초 더미들의 목록과 제한 사항이 주어졌을 때, 존이 구매할 수 있는 건초의 최대 용량을 나타내는 단일 정수.