Problem: Maxim has opened his own restaurant! The restaurant has got a huge table, the table's length is p meters.

Maxim has got a dinner party tonight, n guests will come to him. Let's index the guests of Maxim's restaurant from 1 to n. Maxim knows the sizes of all guests that are going to come to him. The i-th guest's size (ai) represents the number of meters the guest is going to take up if he sits at the restaurant table.

Long before the dinner, the guests line up in a queue in front of the restaurant in some order. Then Maxim lets the guests in, one by one. Maxim stops letting the guests in when there is no place at the restaurant table for another guest in the queue. There is no place at the restaurant table for another guest in the queue, if the sum of sizes of all guests in the restaurant plus the size of this guest from the queue is larger than p. In this case, not to offend the guest who has no place at the table, Maxim doesn't let any other guest in the restaurant, even if one of the following guests in the queue would have fit in at the table.

Maxim is now wondering, what is the average number of visitors who have come to the restaurant for all possible n! orders of guests in the queue. Help Maxim, calculate this number.

Input

The first line contains integer n (1 ≤ n ≤ 50) — the number of guests in the restaurant. The next line contains integers a1, a2, ..., an (1 ≤ ai ≤ 50) — the guests' sizes in meters. The third line contains integer p (1 ≤ p ≤ 50) — the table's length in meters. 

The numbers in the lines are separated by single spaces.

Output

In a single line print a real number — the answer to the problem. The answer will be considered correct, if the absolute or relative error doesn't exceed 10 - 4.

Examples

Input

3
1 2 3
3


Output

1.3333333333

Note

In the first sample the people will come in the following orders: 

  * (1, 2, 3) — there will be two people in the restaurant; 
  * (1, 3, 2) — there will be one person in the restaurant; 
  * (2, 1, 3) — there will be two people in the restaurant; 
  * (2, 3, 1) — there will be one person in the restaurant; 
  * (3, 1, 2) — there will be one person in the restaurant; 
  * (3, 2, 1) — there will be one person in the restaurant. 



In total we get (2 + 1 + 2 + 1 + 1 + 1) / 6 = 8 / 6 = 1.(3).

Solution (in JAVA):

Solution:
import java.math.BigDecimal;
import java.math.BigInteger;
import java.util.*;

public class Main {
  static final int N = 110;
  
  static int n, m;
  static long sum = 0;
  static long[][][] d = new long[N][N][N];
  static long[] cnt = new long[N];
  static int[] a = new int[N];
  static BigInteger[] big = new BigInteger[N];
  
  public static void main(String[] args) {
    Scanner reader = new Scanner(System.in);
    n = reader.nextInt();
    
    for (int i = 1;i <= n; ++i) {
      a[i] = reader.nextInt();
      sum += a[i];
    }
    m = reader.nextInt();
    
    if (sum <= m) {
      System.out.println(n);
      return ;
    }
    
    for (int i = 1;i <= n; ++i)
      d[i][0][0] = 1;
    for (int o = 1;o <= n; ++o) {
    for (int i = 1;i <= n; ++i) {
      if (i == o) continue ;
      for (int j = i - 1;j >= 0; --j)
        for (int k = m;k >= 0; --k) {
          if (k + a[i] > m)
            cnt[j + 1] += d[o][k][j];
          else
            d[o][k + a[i]][j + 1] += d[o][k][j];
        }
    }
    }
    
//    for (int i = 0;i <= n; ++i) {
//      for (int j = 0;j <= m; ++j)
//        System.out.print(d[j][i] + " ");
//      System.out.println();
//    }
    
    big[0] = new BigInteger(String.valueOf(1));
    for (int i = 1;i <= n; ++i)
      big[i] = big[i - 1].multiply(BigInteger.valueOf(i));
    
    BigInteger ans = new BigInteger("0");
    for (int i = 1;i <= n; ++i)
      for (int j = 0;j <= m; ++j)
        for (int k = 1;k < n; ++k)
          if (j + a[i] > m)
            ans = ans.add(BigInteger.valueOf(d[i][j][k]).multiply(big[k]).multiply(big[n - k - 1]).multiply(BigInteger.valueOf(k)));
    
    BigDecimal p = new BigDecimal(ans);
    BigDecimal q = new BigDecimal(big[n]);
    System.out.println(p.divide(q, 9, BigDecimal.ROUND_UP));
  }
}