#include <cstdlib>

#include <algorithm>
#include <iostream>
#include <random>

constexpr size_t DivUp(size_t n, size_t m) { return (n + m - 1) / m; }
constexpr size_t RoundUp(size_t n, size_t m) { return DivUp(n, m) * m; }

size_t RoundUpForTag(size_t size) {
  return RoundUp(size, (size <= 512) ? 8 : (size <= 8192 ? 64 : 4096));
}

int main(int argc, char** argv) {
  const int input1 = atoi(argv[1]);
  const int input2 = atoi(argv[2]);
  const int input3 = atoi(argv[3]);
  size_t res = 0;
  std::random_device rd;
  std::mt19937 mt(rd());
  std::uniform_real_distribution<int> dist(1, 20);
  for (int i = 0; i < 100000000; ++i) {
    if (dist(mt) != 1) {
      res += RoundUpForTag(input1);
    } else if (dist(mt) < 10) {
      res += RoundUpForTag(input2);
    } else {
      res += RoundUpForTag(input3);
    }
  }
  std::cout << res << std::endl;
  return 0;
}