시간 제한메모리 제한제출정답맞힌 사람정답 비율
1 초 512 MB175545.455%

문제

You are doing a survey and want to find respondents in your social group. Your social group has size $n$, and you have a budget of $m$ dollars. You need to divide the $m$ dollars into $ n$ shares. Each group member will get one of the shares uniformly at random. Note that the money contained in each share can be any non-negative real number.

Luckily, you know the reward threshold of each group member. If a person has a reward threshold of $x$, they will participate in the survey if and only if they have received a share of at least $x$ dollars, otherwise they will just accept the payment and not participate in the survey. Since you want as many group members as possible to participate in the survey, you need to design a plan to divide the $m$ dollars into $n$ shares in order to maximize the expected number of members who will participate in the survey.

입력

The first line contains two integers $n$ ($1\leq n\leq 1000$) and $m$ ($1\leq m\leq 5000$), denoting the number of group members and your budget.

The next line contains $n$ integers $x_1, x_2, \ldots, x_n$ ($0 \le x_i \le m$), denoting the reward threshold of each member.

출력

Print a single real number: the maximum expected number of members to participate in the survey.

The answer will be considered correct if the absolute or relative error between the output and the jury's answer is at most $10^{-9}$.

예제 입력 1

5 5
1 2 3 3 4

예제 출력 1

1.200000000000

예제 입력 2

8 69
10 10 10 10 10 10 4 5

예제 출력 2

6.375000000000