#include <bits/stdc++.h>
int main() {
  long long int k2, k3, k5, k6, sum = 0;
  scanf("%I64d %I64d %I64d %I64d", &k2, &k3, &k5, &k6);
  while (1) {
    if (k2 == 0) break;
    if (k2 > 0 && k5 > 0 && k6 > 0) {
      sum = sum + 256;
      k2--;
      k5--;
      k6--;
    } else if (k3 > 0 && k2 > 0) {
      sum = sum + 32;
      k2--;
      k3--;
    }
    if ((k2 == 0 || k3 == 0) && (k2 == 0 || k5 == 0 || k6 == 0)) break;
  }
  printf("%I64d", sum);
  return 0;
}
