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