302986: CF581C. Developing Skills
Memory Limit:256 MB
Time Limit:1 S
Judge Style:Text Compare
Creator:
Submit:0
Solved:0
Description
Developing Skills
题目描述
Petya loves computer games. Finally a game that he's been waiting for so long came out! The main character of this game has $ n $ different skills, each of which is characterized by an integer $ a_{i} $ from 0 to 100. The higher the number $ a_{i} $ is, the higher is the $ i $ -th skill of the character. The total rating of the character is calculated as the sum of the values of ![](https://cdn.luogu.com.cn/upload/vjudge_pic/CF581C/0030e094b03c4a65f32849b94cd39e29e50a34c4.png) for all $ i $ from 1 to $ n $ . The expression $ ⌊\ x⌋ $ denotes the result of rounding the number $ x $ down to the nearest integer. At the beginning of the game Petya got $ k $ improvement units as a bonus that he can use to increase the skills of his character and his total rating. One improvement unit can increase any skill of Petya's character by exactly one. For example, if $ a_{4}=46 $ , after using one imporvement unit to this skill, it becomes equal to 47. A hero's skill cannot rise higher more than 100. Thus, it is permissible that some of the units will remain unused. Your task is to determine the optimal way of using the improvement units so as to maximize the overall rating of the character. It is not necessary to use all the improvement units.输入输出格式
输入格式
The first line of the input contains two positive integers $ n $ and $ k $ ( $ 1<=n<=10^{5} $ , $ 0<=k<=10^{7} $ ) — the number of skills of the character and the number of units of improvements at Petya's disposal. The second line of the input contains a sequence of $ n $ integers $ a_{i} $ ( $ 0<=a_{i}<=100 $ ), where $ a_{i} $ characterizes the level of the $ i $ -th skill of the character.
输出格式
The first line of the output should contain a single non-negative integer — the maximum total rating of the character that Petya can get using $ k $ or less improvement units.
输入输出样例
输入样例 #1
2 4
7 9
输出样例 #1
2
输入样例 #2
3 8
17 15 19
输出样例 #2
5
输入样例 #3
2 2
99 100
输出样例 #3
20