Farmer John tiene balanza para vacas y $N$ ($1 \le N \le 1000$) pesas de masa conocida (31 bits) en un lado. Vaca en uno, pesas en otro hasta equilibrio. No con vaca porque las patea a su cara cuando puede. Masa de lado superior a $C$ ($1 \le C < 2^{30}$) rompe balanza.

De menor a mayor, cada pesa desde tercera tiene al menos suma de dos previas.

Quiere máxima masa exacta, total no mayor $C$, quizá no todas pesas.

Con lista y capacidad halla máxima masa legal exactamente medible.

Entrada

Línea 1: enteros positivos $N$, $C$ con espacio.

Líneas $2..N+1$: una masa entera positiva cada una, orden no decreciente garantizado.

Salida

Línea 1: entero, mayor masa medible exacta y segura.

Ejemplos

Entrada 1

3 15
1
10
20

Salida 1

11

Nota

Tres pesas 1,10,20, límite de lado 15.

1 y 10 miden 11. Toda mayor masa formable rompe balanza.