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


/* macro */
#define rep(i,a,b) for(int i=a;i<b;i++)
#define revrep(i,a,b) for(int i = a; i > b; i--)
#define int long long
#define exist(s,e) ((s).find(e)!=(s).end())
#define all(v) (v).begin(), (v).end()
#define each(s,itr) for(auto (itr) = s.begin(); (itr) != s.end(); (itr)++)
#define sum(v) accumulate(all(v), (0LL))
#define pb push_back


/* alias */
template<class T> using vec = vector<T>;
typedef vector<int> vi;
typedef pair<int, int> pi;


/* constant */
const int inf = pow(2, 62);
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};
const string alpha = "abcdefghijklmnopqrstuvwxyz";

/* io_method */
int input(){int tmp;cin >> tmp;return tmp;}
string raw_input(){string tmp;cin >> tmp;return tmp;}
string readline(){string s;getline(cin, s);return s;}
template<class T> void printx(T n){cout << n;}
template<class T, class U> void printx(pair<T, U> p){cout << "(" << p.first << "," << p.second << ")";}
template<class T> void printx(vector<T> v){cout << "{";rep(i,0,v.size()){printx(v[i]);if(i != v.size()-1)printx(",");}cout << "}";}
template<class T> void print(T n){printx(n);cout << endl;}
template<class T> void print(set<T> s){cout << "{";each(s, e){if(e != s.begin()) printx(",");printx(*e);}cout << "}" << endl;}
template<class T, class U> void print(map<T, U> mp){cout << "{";each(mp, e){cout << "(" << e -> first << "," << e -> second << ")";}cout << "}" << endl;}


/* general_method */
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; }




/* main */
int t;
int n;
vi c;
vi v;

int dp[20][10010];

int dfs(int i, int rest){

    if(dp[i][rest] > -1) return dp[i][rest];

    if(rest < 0) return -1000000000;

    if(i == n){
        if(rest < 0){
            return -inf;
        }else{
            return 0;
        }
    }

    int ans = 0;
    int sumval = 0;
    int val = v[i];
    rep(j,0,10){
        chmax(ans, sumval + dfs(i + 1, rest - (c[i] * j)));
        sumval += val;
        val /= 2;
    }

    return dp[i][rest] = ans;


}



signed main(){

    cin.tie(0);
    ios::sync_with_stdio(false);

    cin >> t >> n;

    rep(i,0,n) c.push_back(input());

    rep(i,0,n) v.push_back(input());

    memset(dp, -1, sizeof(dp));

    print(dfs(0, t));






    
    






    



    





    


    

}