Problem: Consider a system of n water taps all pouring water into the same container. The i-th water tap can be set to deliver any amount of water from 0 to ai ml per second (this amount may be a real number). The water delivered by i-th tap has temperature ti.

If for every <image> you set i-th tap to deliver exactly xi ml of water per second, then the resulting temperature of water will be <image> (if <image>, then to avoid division by zero we state that the resulting water temperature is 0).

You have to set all the water taps in such a way that the resulting temperature is exactly T. What is the maximum amount of water you may get per second if its temperature has to be T?

Input

The first line contains two integers n and T (1 ≤ n ≤ 200000, 1 ≤ T ≤ 106) — the number of water taps and the desired temperature of water, respectively.

The second line contains n integers a1, a2, ..., an (1 ≤ ai ≤ 106) where ai is the maximum amount of water i-th tap can deliver per second.

The third line contains n integers t1, t2, ..., tn (1 ≤ ti ≤ 106) — the temperature of water each tap delivers.

Output

Print the maximum possible amount of water with temperature exactly T you can get per second (if it is impossible to obtain water with such temperature, then the answer is considered to be 0).

Your answer is considered correct if its absolute or relative error doesn't exceed 10 - 6.

Examples

Input

2 100
3 10
50 150


Output

6.000000000000000


Input

3 9
5 5 30
6 6 10


Output

40.000000000000000


Input

2 12
1 3
10 15


Output

1.666666666666667

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
const int tmax = 200005;
int n;
long long T;
double ans;
struct node {
  double a;
  long long t;
  bool operator<(node y) const { return t < y.t; }
};
node data[tmax];
int main() {
  cin >> n >> T;
  int i, l = 1, r = n;
  for (i = 1; i <= n; i++) scanf("%lf", &data[i].a);
  for (i = 1; i <= n; i++) scanf("%I64d", &data[i].t);
  if (n == 1) {
    if (data[1].t == T)
      printf("%.12lf", 1.0 * data[1].a);
    else
      printf("0");
    return 0;
  }
  sort(data + 1, data + 1 + n);
  for (i = 2; i <= n; i++) {
    if (data[i].t >= T && data[i - 1].t <= T) {
      l = i - 1;
      r = i;
      break;
    }
  }
  if (data[l].t > T || data[r].t < T) {
    printf("0");
    return 0;
  }
  while (l >= 1) {
    if (data[l].t == T) {
      ans += data[l].a;
      l--;
    } else
      break;
  }
  while (r <= n) {
    if (data[r].t == T) {
      ans += data[r].a;
      r++;
    } else
      break;
  }
  while (l >= 1 && r <= n) {
    if ((1.0 * (data[l].a * data[l].t + data[r].a * data[r].t)) /
            (1.0 * (data[l].a + data[r].a)) >=
        1.0 * T) {
      ans += data[l].a +
             data[l].a * (1.0 * T - 1.0 * data[l].t) / (1.0 * (data[r].t - T));
      data[r].a -=
          data[l].a * (1.0 * T - 1.0 * data[l].t) / (1.0 * (data[r].t - T));
      l--;
    } else {
      ans += data[r].a +
             data[r].a * (1.0 * data[r].t - 1.0 * T) / (1.0 * (T - data[l].t));
      data[l].a -=
          data[r].a * (1.0 * data[r].t - 1.0 * T) / (1.0 * (T - data[l].t));
      r++;
    }
  }
  printf("%.12lf", ans);
  return 0;
}