#include <bits/stdc++.h>
using namespace std;
#define int long long
#define rep(i,n) for(int (i)=0;(i)<(n);(i)++)
#define rrep(i,n) for(int (i)=((n)-1);(i)>=0;(i)--)
#define itn int
#define all(x) (x).begin(),(x).end()
#define F first
#define S second
const long long INF = 1LL << 60;
const int MOD = 1000000007;
template<class T> inline bool chmin(T& a, T b) { if (a > b) { a = b; return true; } return false; }
template<class T> inline bool chmax(T& a, T b) { if (a < b) { a = b; return true; } return false; }
//https://www.creativ.xyz/dump-cpp-652/
#define repi(itr, ds) for (auto itr = ds.begin(); itr != ds.end(); itr++)
 
// vector
template <typename T>
istream &operator>>(istream &is, vector<T> &vec) {
    for (T &x : vec) is >> x;
    return is;
}
// pair
template <typename T, typename U>
ostream &operator<<(ostream &os, pair<T, U> &pair_var) {
    os << "(" << pair_var.first << ", " << pair_var.second << ")";
    return os;
}
// vector
template <typename T>
ostream &operator<<(ostream &os, const vector<T> &vec) {
    os << "{";
    for (int i = 0; i < vec.size(); i++) {
        os << vec[i] << (i + 1 == vec.size() ? "" : ", ");
    }
    os << "}";
    return os;
}
// map
template <typename T, typename U>
ostream &operator<<(ostream &os, map<T, U> &map_var) {
    os << "{";
    repi(itr, map_var) {
        os << *itr;
        itr++;
        if (itr != map_var.end()) os << ", ";
        itr--;
    }
    os << "}";
    return os;
}
// set
template <typename T>
ostream &operator<<(ostream &os, set<T> &set_var) {
    os << "{";
    repi(itr, set_var) {
        os << *itr;
        itr++;
        if (itr != set_var.end()) os << ", ";
        itr--;
    }
    os << "}";
    return os;
}
 
#define DUMPOUT cerr
 
void dump_func() {
    DUMPOUT << endl;
}
template <class Head, class... Tail>
void dump_func(Head &&head, Tail &&... tail) {
    DUMPOUT << head;
    if (sizeof...(Tail) > 0) {
        DUMPOUT << ", ";
    }
    dump_func(std::move(tail)...);
}

#ifdef DEBUG_
#define DEB
#define dump(...)                                                              \
    DUMPOUT << "  " << string(#__VA_ARGS__) << ": "                            \
            << "[" << to_string(__LINE__) << ":" << __FUNCTION__ << "]"        \
            << endl                                                            \
            << "    ",                                                         \
        dump_func(__VA_ARGS__)
#else
#define DEB if (false)
#define dump(...)
#endif

signed main(void) { cin.tie(0); ios::sync_with_stdio(false);
    int n,k;
    cin>>n>>k;
    vector <int> a(n);
    vector <int> f(n);
    rep(i,n) cin>>a[i];
    rep(i,n) cin>>f[i];
    sort(a.begin(),a.end());
    sort(f.begin(),f.end(),greater<int>());
    vector <tuple <int,int,int>> data(n);
    rep(i,n){
        data[i] = make_tuple(a[i]*f[i], f[i], a[i]);
    }
    sort(data.begin(),data.end(),greater<tuple <int,int,int>>());
    int l = -1, r = 1145141919893;
    while(abs(l-r)>1LL){
        int mid = (l+r)/2;
        bool ok = true;
        int kk = k;
        
        rep(i,n){
            //cout<<get <0>(data[i])<<' '<<get <1>(data[i])<<' '<<get <2>(data[i])<<endl;
            int xy = get <0>(data[i]), x = get <2>(data[i]), y = get <1>(data[i]);
            if(xy <= mid) break;
            int tmp = max((x*y - mid + y -1)/y, 0LL);
            kk -= tmp;
            
            if(kk < 0){ok = false; break;}
        }
        
        if(ok) r = mid;
        else l = mid;
    }
    cout<<r<<endl;
}

Measured memory_bytes: 8064