우편 발송

Russian Code Cup 결승전을 준비하는 조직위원회는 개최지로 n개의 물건을 보내야 한다. 각 물건의 무게는 그램 단위로 mi이다.

발송에는 우편 서비스 «Суперэкспресс»를 이용하기로 했다. 이 서비스는 소포를 접수하며, 소포 하나에는 물건을 하나 이상 넣을 수 있다. 소포의 무게는 그 안에 담긴 물건 무게의 합이다.

소포 발송비는 그램당 1루블이며, 특별 할인 대상 소포는 예외이다. 즉, 소포의 무게가 정확히 1킬로그램이면 발송비는 P루블이다.

Russian Code Cup 조직위원회는 모든 물건을 최소 비용으로 보내려고 한다. 물건을 소포에 나누어 담아 최소 비용을 달성하도록 도와주자.

첫째 줄에는 두 정수 n과 P가 주어진다 (1 ≤ n ≤ 14, 1 ≤ P ≤ 1000). n은 물건의 개수, P는 특별 할인 대상 소포의 발송비이다. 둘째 줄에는 n개의 정수 m1, m2, ..., mn이 주어진다 (모든 i에 대해 1 ≤ mi ≤ 1000).

모든 물건을 발송하는 최소 총비용을 루블 단위로 나타내는 정수 하나를 출력한다.