Esports is a form of competitive sports using video games. Dota 2 is one of the most popular competitive video games in Esports. Recently, a new video game Dota 3 was released. In Dota 3 a player can buy some relics for their hero. Relics are counters that track hero's actions and statistics in a game.
Gloria likes to play Dota 3, so she wants to buy all available relics for her favorite hero.
Relics can be bought using an in-game currency called shards. Each relic has its own price - c_i shards for the -th relic. A player can buy a relic using one of the following options:
- Pay c_i shards to buy the -th relic; - Pay shards and randomly get one of all relics. The probability of getting a relic is the same for all relics. If a duplicate relic is received, then the relic is recycled and shards are given back to the player.
Gloria wants to buy all relics. Help her minimize the expected number of shards she spends to buy all the relics.
The first line contains two integers and (1 \leq n \leq 100, 1 \leq x \leq 10000) - the number of relics and the cost to receive a random relic.
The second line consists of integers c_1, c_2, \ldots, c_n (x \leq c_i \leq 10000, \sum c_i \leq 10000) - the prices of relics.
Print one real number - the minimum expected number of shards that Gloria must spend to buy all the relics. The absolute or relative error should not exceed 10^{-9}.
Example 1
Example 2
In the first example, the optimal strategy is to randomly get one of the two relics paying shards. Then there are two scenarios.
The first one happens if Gloria receives the first relic. Then she keeps getting random relics until she obtains the second relic. The expected number of shards to spend in this scenario is 20 + 30 = 50.
In the second scenario, Gloria initially gets the second relic. Then it is better to buy the first relic for shards, so the expected number of shards to spend in this scenario is 20 + 25 = 45. Thus, the expected number of shards to spend is (50 + 45) / 2 = 47.5.