São dados valores de selos (por exemplo {1, 3, 5}) e máximo por envelope (por exemplo cinco). Ache o maior intervalo de valores postais consecutivos possíveis. Com {1, 3, 5} e até cinco, obtém-se:

  1: 1        6: 1+5       11: 5+5+1     16: 5+5+3+3      21: 5+5+5+3+3
  2: 1+1      7: 5+1+1     12: 5+5+1+1   17: 5+5+5+1+1    22: ????
  3: 3        8: 5+3       13: 5+5+3     18: 5+5+5+3
  4: 1+3      9: 5+3+1     14: 5+5+3+1   19: 5+5+5+3+1
  5: 5       10: 5+5       15: 5+5+5     20: 5+5+5+5

Não parece possível formar 22 centavos com até cinco selos. Assim $[1,21]$ são 21 valores consecutivos. O maior intervalo não precisa começar em 1.

Entrada

• Linha $1$: inteiros separados por espaço $S$ ($1 \le S \le 20$), tipos, e $E$ ($1 \le E \le 10$), máximo por envelope.

• Linha $2$: $S$ inteiros positivos distintos separados por espaços, valores dos selos ($1 \le \text{stampval} \le 1000$).

Saída

O máximo número de valores consecutivos possíveis combinando selos.

Exemplos

Entrada 1

3 5
1 3 5

Saída 1

21

Créditos: final ACM 1995.