[439A] Devu, el cantante y Churu, el bromista

Enlace a Codeforces

Devu es un renombrado cantante clásico. Es invitado a muchas funciones/festivales grandes. Recientemente fue invitado al "Festival de Canto Clásico de Todo el Mundo". Donde además de Devu, también se invitó al comediante Churu.

Devu le ha pasado a los organizadores una lista de canciones y el tiempo requerido para cantarlas. Él cantará $n$ canciones, y cada i-ésima canción le toma $t_i$ minutos exactamente.

El comendiante churu contará chistes. Todos sus chistes son de 5 minutos exactamente.

La gente vendrá principalmente a escuchar a Devu. Pero sabes que necesita un descanso de 10 minutos tras cada canción. Por otro lado, Churu es una persona muy activa, y no necesita ningún descanso.

Como uno de los organizadores debes hacer un programa óptimo para el evento. Por ciertos motivos debes seguir las siguientes condiciones:

• La duración del evento no debe ser de más de $d$ minutos.
• Devu debe completar todas sus canciones
• Cumpliendo las dos condiciones anteriores, Churu debe contar tantos chistes como sea posible.

Si no se puede encontrar una forma de incluir todas las canciones de Devu, imprime -1. De otro modo, encuentra el máximo de chistes que Churu puede contar en el gran evento.

Entrada

La primera línea contiene dos enteros separados por espacio $n$ y $d$ ($1 \leq n \leq 100$; $1 \leq d \leq 10000$). La segunda línea contiene $n$ enteros separados por espacio $t_1, t_2, \ldots, t_n$ ($1 \leq t_i \leq 100$).

Salida

Si no hay forma de incluir todas las canciones de Devu, imprime -1. De otro modo, imprime el máximo de chistes que Churu puede contar en el gran evento.

Ejemplos

input:
3 30
2 2 1

output:
5

input:
3 20
2 1 1

output:
-1

Nota

Considera el primer ejemplo. La duración del evento es de 30 minutos. Puede haber un máximo de 5 chistes de la siguiente forma:

• Primero Churu cuenta un chiste en 5 minutos.
• Devu canta la primera canción durante 2 minutos.
• Churu cuenta 2 chistes en 10 minutos.
• Devu canta otra canción durante 2 minutos.
• Churu cuenta 2 chistes en 10 minutos.
• Para finalizar, Devu canta su última canción en 1 minuto.

El tiempo total utilizado es de 5 + 2 + 10 + 2 + 10 + 1 = 30 minutos

Considera el segundo ejemplo. No hay forma de organizar todas las canciones de Devu. Por lo tanto, la respuesta es -1.