#include #include #include #include #include #include #include #include #include #include #include using namespace std; using namespace atcoder; typedef long long ll; #define rep(i,n) for (int i = 0; i < int(n);i++) int main(){ int n; ll a,b,c; cin >> n; cin >> a >> b >> c; vector dp(n+11); for (int i = 0; i < n;i++){ dp[i+3] = max(dp[i+3],dp[i]+a); dp[i+5] = max(dp[i+5],dp[i]+b); dp[i+10] = max(dp[i+10],dp[i]+c); dp[i+1] = max(dp[i+1],dp[i]); } cout << dp[n] << endl; return 0; }