#include <bits/stdc++.h>
using namespace std;
int main() {
  int n;
  double w;
  cin >> n >> w;
  double q = n * (1.0);
  int m = n * 2;
  vector<double> f;
  f.resize(m);
  for (int i = 0; i < m; i++) {
    scanf("%lf", &f[i]);
  }
  sort(f.begin(), f.end());
  cout << setprecision(10);
  cout << min(min(f[0], f[n] / 2), (w / 3) / q) * 3 * q;
}
