#include <bits/stdc++.h>
using namespace std;
int main() {
  int n, m;
  int a[200200];
  scanf("%d%d", &n, &m);
  int i;
  for (i = 1; i <= 2 * n; i++) {
    scanf("%d", &a[i]);
  }
  sort(a + 1, a + 2 * n + 1);
  float m0 = 0;
  m0 = 3 * n * (a[1] / 1.0) >= (3 / 2.0) * n * (a[n + 1] / 1.0)
           ? (3 / 2.0) * n * (a[n + 1] / 1.0)
           : 3 * n * (a[1] / 1.0);
  if (m0 <= (m / 1.0))
    printf("%f\n", m0);
  else {
    printf("%d\n", m);
  }
  return 0;
}
