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;
long long gcd(long long a, long long b) { return b ? gcd(b, a % b) : a; }
long long lcm(long long a, long long b) { return a / gcd(a, b) * b; }
long long powmod(long long a, long long b, long long MOD) {
  a %= MOD;
  if (a == 0ll) {
    return 0ll;
  }
  long long ans = 1;
  while (b) {
    if (b & 1) {
      ans = ans * a % MOD;
    }
    a = a * a % MOD;
    b >>= 1;
  }
  return ans;
}
void Pv(const vector<int>& V) {
  int Len = int(V.size());
  for (int i = 0; i < Len; ++i) {
    printf("%d", V[i]);
    if (i != Len - 1) {
      printf(" ");
    } else {
      printf("\n");
    }
  }
}
void Pvl(const vector<long long>& V) {
  int Len = int(V.size());
  for (int i = 0; i < Len; ++i) {
    printf("%lld", V[i]);
    if (i != Len - 1) {
      printf(" ");
    } else {
      printf("\n");
    }
  }
}
inline void getInt(int* p);
const int maxn = 1000010;
const int inf = 0x3f3f3f3f;
struct node {
  long double x, t;
} a[maxn];
int n;
long double T;
std::vector<node> v1, v0;
bool cmp1(node aa, node bb) { return aa.t < bb.t; }
bool cmp2(node aa, node bb) { return aa.t > bb.t; }
long double ans;
int main() {
  ios::sync_with_stdio(false), cin.tie(0), cout.tie(0);
  cin >> n >> T;
  for (int i = 1; i <= n; i++) {
    cin >> a[i].x;
  }
  for (int i = 1; i <= n; i++) {
    cin >> a[i].t;
  }
  long double sum0 = 0.0;
  long double sum1 = 0.0;
  long double tot0 = 0.0;
  long double tot1 = 0.0;
  for (int i = 1; i <= n; i++) {
    if (a[i].t >= T) {
      tot0 += a[i].x;
      sum0 += a[i].x * (a[i].t - T);
      v0.push_back(a[i]);
    } else {
      tot1 += a[i].x;
      sum1 += a[i].x * (T - a[i].t);
      v1.push_back(a[i]);
    }
  }
  if (sum0 >= sum1) {
    ans = tot1;
    sort((v0).begin(), (v0).end(), cmp1);
    int len = int(v0.size());
    for (int i = 0; i < len; ++i) {
      if (v0[i].x * (v0[i].t - T) <= sum1) {
        sum1 -= v0[i].x * (v0[i].t - T);
        ans += v0[i].x;
      } else {
        ans += (sum1) / (v0[i].t - T);
        break;
      }
    }
  } else {
    ans = tot0;
    sort((v1).begin(), (v1).end(), cmp2);
    int len = int(v1.size());
    for (int i = 0; i < len; ++i) {
      if (v1[i].x * (T - v1[i].t) <= sum0) {
        sum0 -= v1[i].x * (T - v1[i].t);
        ans += v1[i].x;
      } else {
        ans += (sum0) / (T - v1[i].t);
        break;
      }
    }
  }
  cout << fixed << setprecision(7) << ans << endl;
  return 0;
}
inline void getInt(int* p) {
  char ch;
  do {
    ch = getchar();
  } while (ch == ' ' || ch == '\n');
  if (ch == '-') {
    *p = -(getchar() - '0');
    while ((ch = getchar()) >= '0' && ch <= '9') {
      *p = *p * 10 - ch + '0';
    }
  } else {
    *p = ch - '0';
    while ((ch = getchar()) >= '0' && ch <= '9') {
      *p = *p * 10 + ch - '0';
    }
  }
}