#include <bits/stdc++.h>
int main() {
  long long k[5], maxi = 0, mini, i;
  scanf("%I64d %I64d %I64d %I64d", &k[1], &k[2], &k[3], &k[4]);
  mini = (long long)pow(10, 7);
  for (i = 1; i <= 4; i++) {
    if (i != 2 && k[i] < mini) {
      mini = k[i];
    }
  }
  maxi = maxi + (mini * 256);
  k[1] = k[1] - mini;
  if (k[1] >= k[2])
    mini = k[2];
  else
    mini = k[1];
  maxi += mini * 32;
  printf("%I64d", maxi);
}
