#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef long double ld;
#define rep(i,n) for (int i = 0; i < (n); ++i)
template<class T>bool chmax(T &a, const T &b) { if (a<b) { a=b; return 1; } return 0; }
template<class T>bool chmin(T &a, const T &b) { if (b<a) { a=b; return 1; } return 0; }
const ll INF=1LL<<60;
const int inf=(1<<30)-1;
const int mod=1e9+7;
int dx[8]={1,0,-1,0,-1,-1,1,1};
int dy[8]={0,1,0,-1,-1,1,-1,1};
int main(){
    cin.tie(0);
    ios::sync_with_stdio(false);
    int t,n;cin >> t >> n;
    vector<int> c(n),v(n);
    rep(i,n){
        cin >> c[i];
    }
    rep(i,n){
        cin >> v[i];
    }
    vector<pair<int,int>> a;
    rep(i,n){
        while(v[i]){
            a.push_back({c[i],v[i]});
            v[i]/=2;
        }
    }
    int m=a.size();
    vector<vector<int>> dp(m+1,vector<int>(t+1,-1));
    dp[0][0]=0;
    for(int i=0;i<m;i++){
        for(int j=0;j<=t;j++){
            chmax(dp[i+1][j],dp[i][j]);
            if(j+a[i].first<=t){
                chmax(dp[i+1][j+a[i].first],dp[i][j]+a[i].second);
            }
        }
    }
    int ans=0;
    rep(i,t+1){
        chmax(ans,dp[m][i]);
    }
    cout << ans << endl;
}