#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
using ll = long long;
using ld = long double;
using mint = modint998244353;

int N, A, B, C, ans;
int dp[202020];

int main() {
  cin >> N >> A >> B >> C;
  for (int i = 0; i <= N; i++) {
    if (i - 3 >= 0) dp[i] = max(dp[i], dp[i - 3] + A);
    if (i - 5 >= 0) dp[i] = max(dp[i], dp[i - 5] + B);
    if (i - 10 >= 0) dp[i] = max(dp[i], dp[i - 10] + C);
  }
  for (int i = 0; i <= N; i++) ans = max(ans, dp[i]);
  cout << ans << endl;
  return 0;
}