#include <bits/stdc++.h>
using namespace std;
int main() {
  float x, y, ans = 0;
  int n, w;
  scanf("%d%d", &n, &w);
  int a[n * 2 + 1];
  for (int i(0); i < n * 2; i++) scanf("%d", &a[i]);
  sort(a, a + n * 2);
  x = a[0];
  y = a[n];
  if (x * 2 > y)
    ans = ((y / 2) * n) + (y * n);
  else {
    ans = ((x * 2) * n) + (x * n);
  }
  char str[10000];
  if (ans <= w) {
    sprintf(str, "%f", ans);
    cout << str;
  } else {
    printf("%d", w);
  }
  return 0;
}
