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

#define int long long

typedef long long ll;
typedef pair<int,int>pint;
typedef vector<int>vint;
typedef vector<pint>vpint;
#define pb push_back
#define mp make_pair
#define fi first
#define se second
#define ln <<endl
#define all(v) (v).begin(),(v).end()
#define rep(i,n) for(int i=0;i<(n);i++)
#define reps(i,f,n) for(int i=(f);i<(n);i++)
#define each(it,v) for(__typeof((v).begin()) it=(v).begin();it!=(v).end();it++)
template<class T,class U>void chmin(T &t,U f){if(t>f)t=f;}
template<class T,class U>void chmax(T &t,U f){if(t<f)t=f;}

int T;
int N;
int c[15],v[15];
int dp[16][10010];

signed main(){
    cin>>T>>N;
    rep(i,N)cin>>c[i];
    rep(i,N)cin>>v[i];

    fill_n(*dp,16*10010,INT_MIN);
    dp[0][0]=0;

    rep(i,N){
        int s[10]={0};
        int vv=v[i];
        rep(j,9){
            s[j+1]=s[j]+vv;
            vv>>=1;
        }

        rep(j,T+1){
            rep(k,10){
                if(j+c[i]*k>T)break;
                chmax(dp[i+1][j+c[i]*k],dp[i][j]+s[k]);
            }
        }
    }

    cout<<*max_element(dp[N],dp[N]+T+1)<<endl;
    return 0;
}