#include <iostream>
#include <algorithm>
#include <vector>


int main() {
    int T, N;
    std::cin >> T;
    std::cin >> N;
    std::vector<int> C(N), V(N);
    for (int i = 0; i < N; i++) std::cin >> C.at(i);
    for (int i = 0; i < N; i++) std::cin >> V.at(i);

    std::vector<int> dp(T + 1, 0);
    for (int i = 0; i < N; i++) {
        const int c = C.at(i);
        int v = V.at(i);
        std::vector<int> new_dp(T + 1);
        for (int j = 0; j < T + 1; j++) {
            new_dp.at(j) = dp.at(j);
        }
        int u = 0, d = 0;
        while (v != 0) {
            u += v;
            v >>= 1;
            d += c;
            if (T < d - 1) break;
            for (int j = 0; j < T - d + 1; j++) {
                if (new_dp.at(j + d) < dp.at(j) + u) {
                    new_dp.at(j + d) = dp.at(j) + u;
                }
            }
        }
        for (int j = 0; j < T + 1; j++) {
            dp.at(j) = new_dp.at(j);
        }
    }
    std::cout << *max_element(dp.begin(), dp.end()) << std::endl;
}