#include <cstdio>
#include <cstdlib>
#include <iostream>
#include <string>
#include <cmath>
#include <algorithm>
#include <vector>
#include <queue>
#include <stack>
#include <map>
#include <set>
#include <cstring>

typedef long long ll;
using namespace std;

#define mod 1000003
#define INF 10000000
#define LLINF 2000000000000000000LL

#define SIZE 10000

int main(){
    int t,n,ans=0;
    int c[15],v[15],dp[SIZE+1000]={0};
    
    
    scanf("%d%d",&t,&n);
    
    for(int i=0;i<n;i++) scanf("%d",&c[i]);
    for(int i=0;i<n;i++) scanf("%d",&v[i]);
    
    for(int i=0;i<=10000;i++)
        dp[i]=-INF;
    
    dp[0]=0;
    
    for(int i=0;i<n;i++){
        
        while(v[i]>0){
            
            for(int j=t;j>=0;j--){
                dp[j+c[i]]=max(dp[j+c[i]],dp[j]+v[i]);
            }
            
            v[i]/=2;
        }
        
    }
    
    for(int i=0;i<=t;i++){
        ans = max(ans,dp[i]);
    }
    
    printf("%d\n",ans);
    
    return 0;
}