#include <bits/stdc++.h>
int main() {
  long k2, k3, k5, k6;
  scanf("%ld %ld %ld %ld", &k2, &k3, &k5, &k6);
  long long int ans = 0;
  long min = k2;
  if (min > k5) min = k5;
  if (min > k6) min = k6;
  ans += (min * 256);
  k2 -= min;
  min = k2;
  if (min > k3) min = k3;
  ans += (min * 32);
  printf("%I64d\n", ans);
  return 0;
}
