#include <bits/stdc++.h>
using namespace std;
const double eps = 1e-6;
const int maxn = 2e5 + 10;
int a[maxn];
int main() {
  int n, w;
  while (scanf("%d%d", &n, &w) != EOF) {
    for (int i = 0; i < 2 * n; i++) {
      scanf("%d", &a[i]);
    }
    sort(a, a + 2 * n);
    double ans = 0;
    if (a[0] * 2 < a[n]) {
      ans = a[0];
      ans = ans * 3 * n;
      if (ans > w) ans = w;
    } else {
      ans = a[n];
      ans = ans / 2 * 3 * n;
      if (ans > w) ans = w;
    }
    printf("%lf\n", ans);
  }
  return 0;
}
