#include <bits/stdc++.h>

using namespace std;

#define REP(i,n) for(int i=0; i<(int)(n); i++)

int dp[10000+1][15];

int dfs(int t, int p, const vector<int> &c, const vector<int> &v) {
  if (p == c.size())
    return 0;

  int &ret = dp[t][p];
  if (ret >= 0)
    return ret;
  
  ret = dfs(t, p+1, c, v);
  int w = v[p];
  int u = 0;
  while (w && t >= c[p]) {
    u += w;
    ret = max(ret, u + dfs(t - c[p], p+1, c, v));
    w /= 2;
    t -= c[p];
  }

  return ret;
}

int main() {
  ios_base::sync_with_stdio(0);
  cin.tie(0);

  int t, n;
  cin >> t >> n;
  vector<int> c(n), v(n);
  for (int i = 0; i < n; i++)
    cin >> c[i];
  for (int i = 0; i < n; i++)
    cin >> v[i];

  memset(dp, -1, sizeof(dp));
  cout << dfs(t, 0, c, v) << endl;
  
  return 0;
}