题目描述

小猫有N条鱼，第i条鱼的长度是L[i]。由于小猫只吃长度是10的鱼，所以它决定对长度不符合的鱼开刀，已知小猫最多能砍m刀，小猫每次砍鱼的步骤是这样的:

1. 小猫选定一条鱼，假设鱼的长度是X，那么X必须要大于1. 

2. 小猫选定一个整数Y，其中满足 0 < Y < X.

3. 小猫把选定的那条鱼砍成两边，一边的长度是Y，另一边的长度是X-Y。

小猫砍完m到后，最多能产生多少条长度是10的鱼？

输入格式

第一行，两个整数n和m。 1<=n<=50,1<=m<=1000。

接下来有n行，每行一个整数L[i]，表示第i条鱼的长度。1<=L[i]<=1000。

输出格式

一个整数。

输入/输出例子1

输入：


输出：