#include <bits/stdc++.h>
using namespace std;
int main() {
  int b = 0, k2, k3, k5, k6;
  scanf("%d%d%d%d", &k2, &k3, &k5, &k6);
  while ((k2 >= 1) && (k5 >= 1) && (k6 >= 1)) {
    k2--;
    k5--;
    k6--;
    b += 256;
  }
  while ((k2 >= 1) && (k3 >= 1)) {
    k2--;
    k3--;
    b += 32;
  }
  printf("%d", b);
  return 0;
}
