#include <bits/stdc++.h>
using namespace std;
#define int long long
#define dd double
#define ld long double
#define ull unsigned long long
#define yes cout << "YES\n"
#define no cout << "NO\n"
#define el "\n"
#define Arwa ios::sync_with_stdio(0); cin.tie(0); cout.tie(0);
#define fix(x) cout << fixed << setprecision(x)
#define all(v) v.begin(),v.end()
#define dpp(v,val) memset(v,val,sizeof(v))
#define mod 1e9+7
#define oo 1e9
const int N = 1e5 + 5;
int n,k;
vector<int>taste,cal;
int dp[101][N];
int solve(int i,int t,int c)
{
if(i==n)
{
if(c-t==0) return t;
return 0;
}
int &ret=dp[i][(c-t)+10000];
if(ret!=-1) return ret;
int tk=0,l=0;
tk=solve(i+1,t+taste[i],c+cal[i]*k);
l=solve(i+1,t,c);
return ret=max(tk,l);
}
void HereWeGoAgain()
{
cin>>n>>k;
taste.resize(n); cal.resize(n);
for(int i=0;i<n;i++)
cin>>taste[i];
for(int i=0;i<n;i++)
cin>>cal[i];
dpp(dp,-1);
if(solve(0,0,0)==0)cout<<-1<<el;
else cout<<solve(0,0,0);
}
int32_t main()
{
Arwa
int t=1;
//cin>>t;
for(int i=1;i<=t;i++)
{
HereWeGoAgain();
}
return 0;
}
I2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+CnVzaW5nIG5hbWVzcGFjZSBzdGQ7CiNkZWZpbmUgaW50IGxvbmcgbG9uZwojZGVmaW5lIGRkIGRvdWJsZQojZGVmaW5lIGxkIGxvbmcgZG91YmxlCiNkZWZpbmUgdWxsIHVuc2lnbmVkIGxvbmcgbG9uZwojZGVmaW5lIHllcyBjb3V0IDw8ICJZRVNcbiIKI2RlZmluZSBubyBjb3V0IDw8ICJOT1xuIgojZGVmaW5lIGVsICJcbiIKI2RlZmluZSBBcndhIGlvczo6c3luY193aXRoX3N0ZGlvKDApOyBjaW4udGllKDApOyBjb3V0LnRpZSgwKTsKI2RlZmluZSBmaXgoeCkgY291dCA8PCBmaXhlZCA8PCBzZXRwcmVjaXNpb24oeCkKI2RlZmluZSBhbGwodikgdi5iZWdpbigpLHYuZW5kKCkKI2RlZmluZSBkcHAodix2YWwpIG1lbXNldCh2LHZhbCxzaXplb2YodikpCiNkZWZpbmUgbW9kIDFlOSs3CiNkZWZpbmUgb28gMWU5CmNvbnN0IGludCBOID0gMWU1ICsgNTsKaW50IG4sazsKdmVjdG9yPGludD50YXN0ZSxjYWw7CmludCBkcFsxMDFdW05dOwppbnQgc29sdmUoaW50IGksaW50IHQsaW50IGMpIAp7CiAgIGlmKGk9PW4pIAogICB7CiAgICAgIGlmKGMtdD09MCkgcmV0dXJuIHQ7CiAgICAgIHJldHVybiAwOwogICB9CiAgIGludCAmcmV0PWRwW2ldWyhjLXQpKzEwMDAwXTsKICAgaWYocmV0IT0tMSkgcmV0dXJuIHJldDsKICAgaW50IHRrPTAsbD0wOwogICB0az1zb2x2ZShpKzEsdCt0YXN0ZVtpXSxjK2NhbFtpXSprKTsKICAgbD1zb2x2ZShpKzEsdCxjKTsKICAgcmV0dXJuIHJldD1tYXgodGssbCk7Cn0Kdm9pZCBIZXJlV2VHb0FnYWluKCkKewogIGNpbj4+bj4+azsKICB0YXN0ZS5yZXNpemUobik7IGNhbC5yZXNpemUobik7CiAgZm9yKGludCBpPTA7aTxuO2krKykKICBjaW4+PnRhc3RlW2ldOwogIGZvcihpbnQgaT0wO2k8bjtpKyspCiAgY2luPj5jYWxbaV07CiAgIGRwcChkcCwtMSk7CiAgaWYoc29sdmUoMCwwLDApPT0wKWNvdXQ8PC0xPDxlbDsKICBlbHNlIGNvdXQ8PHNvbHZlKDAsMCwwKTsKfQppbnQzMl90IG1haW4oKSAKewogICAgQXJ3YQogICAgaW50IHQ9MTsKICAgIC8vY2luPj50OwogICAgZm9yKGludCBpPTE7aTw9dDtpKyspCiAgICB7CiAgICBIZXJlV2VHb0FnYWluKCk7CiAgICB9CiAgICByZXR1cm4gMDsKfQo=