#include <bits/stdc++.h>
 
using namespace std;

int dp[10005];
int c[15];
int v[15];
int main(void)
{
	cin.tie(0);
	ios::sync_with_stdio(false);

	int t,n;

	cin >> t;
	cin >> n;
	for(int i=0;i<n;i++)
	{
		cin >> c[i];
	}
	for(int i=0;i<n;i++)
	{
		cin >> v[i];
	}

	memset(dp,-1,sizeof(dp));
	dp[0] = 0;

	for(int i=0;i<n;i++)
	{
		int cost = 0;
		int sum = 0;
		int val = v[i];
		vector <pair<int,int>> vec;
		while(val > 0)
		{
			cost += c[i];
			sum += val;
			val/=2;
			vec.push_back(make_pair(cost,sum));
		}

		for(int j=t;j>=0;j--)
		{
			if(dp[j]==-1) continue;
			for(int k=0;k<vec.size();k++)
			{
				if(j + vec[k].first <= t)
				{
					dp[j + vec[k].first] = max(dp[j + vec[k].first],dp[j] + vec[k].second);
				}
			}
		}
	}

	int res = 0;

	for(int i=0;i<=t;i++) res = max(res,dp[i]);

	cout << res << '\n';
	
	return 0;
}