#include <cstdlib>
#include <cstring>
#include <algorithm>
#include <iostream>
#include <map>
#include <vector>
#include <queue>

using namespace std;


/*
184　//名前が　184

no37
*/ 

int main(){
	int t,n;
	scanf("%d%d",&t,&n);//%d%d%d%d",&n,&v,&x,&y,&ax,&ay);
	int v[20],c[20],sv[20],sc[20];
	for(int i=0;i<n;i++)scanf("%d",&c[i]);
	for(int i=0;i<n;i++)scanf("%d",&v[i]);	
	int dp[100000]={};
	dp[0]=1;
	int last=0;
	for(int i=0;i<n;i++){
		int p=v[i];
		for(;p;p>>=1){ 
			//printf("p,i,%d %d\n",p,i);
			for(int j=last;j>=0;j--){
				if(!dp[j]||j+c[i]>t)continue;
				if(dp[j+c[i]]<dp[j]+p){
					//printf("%d %d\n",dp[j]+p,j+c[i]);
					dp[j+c[i]]=dp[j]+p;
				}
			}
			last+=c[i];
		}
	}
	int ans=0;
	for(int i=0;i<=t;i++){
		//printf("%d\n",dp[i]);
		if(ans<dp[i])ans=dp[i];
	}
	printf("%d\n",ans-1);
	
	return 0;
}