#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[N];
int solve(int i,int t,int c)
{
if(i==n)
{
if(c*k-t==0&&t!=0) return t;
return 0;
}
int ret=dp[k*c-t];
if(t>k*c) ret=dp[t-k*c];
if(ret!=-1) return ret;
int tk=0,l=0;
tk=solve(i+1,t+taste[i],c+cal[i]);
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+CnVzaW5nIG5hbWVzcGFjZSBzdGQ7CiNkZWZpbmUgaW50IGxvbmcgbG9uZwojZGVmaW5lIGRkIGRvdWJsZQojZGVmaW5lIGxkIGxvbmcgZG91YmxlCiNkZWZpbmUgdWxsIHVuc2lnbmVkIGxvbmcgbG9uZwojZGVmaW5lIHllcyBjb3V0IDw8ICJZRVNcbiIKI2RlZmluZSBubyBjb3V0IDw8ICJOT1xuIgojZGVmaW5lIGVsICJcbiIKI2RlZmluZSBBcndhIGlvczo6c3luY193aXRoX3N0ZGlvKDApOyBjaW4udGllKDApOyBjb3V0LnRpZSgwKTsKI2RlZmluZSBmaXgoeCkgY291dCA8PCBmaXhlZCA8PCBzZXRwcmVjaXNpb24oeCkKI2RlZmluZSBhbGwodikgdi5iZWdpbigpLHYuZW5kKCkKI2RlZmluZSBkcHAodix2YWwpIG1lbXNldCh2LHZhbCxzaXplb2YodikpCiNkZWZpbmUgbW9kIDFlOSs3CiNkZWZpbmUgb28gMWU5CmNvbnN0IGludCBOID0gMWU1ICsgNTsKaW50IG4sazsKdmVjdG9yPGludD50YXN0ZSxjYWw7CmludCBkcFtOXTsKaW50IHNvbHZlKGludCBpLGludCB0LGludCBjKSAKewogICBpZihpPT1uKSAKICAgewogICAgICBpZihjKmstdD09MCYmdCE9MCkgcmV0dXJuIHQ7CiAgICAgIHJldHVybiAwOwogICB9CiAgIGludCByZXQ9ZHBbaypjLXRdOwogICBpZih0PmsqYykgcmV0PWRwW3QtaypjXTsKICAgaWYocmV0IT0tMSkgcmV0dXJuIHJldDsKICAgaW50IHRrPTAsbD0wOwogICB0az1zb2x2ZShpKzEsdCt0YXN0ZVtpXSxjK2NhbFtpXSk7CiAgIGw9c29sdmUoaSsxLHQsYyk7CiAgIHJldHVybiByZXQ9bWF4KHRrLGwpOwp9CnZvaWQgSGVyZVdlR29BZ2FpbigpCnsKICBjaW4+Pm4+Pms7CiAgdGFzdGUucmVzaXplKG4pOyBjYWwucmVzaXplKG4pOwogIGZvcihpbnQgaT0wO2k8bjtpKyspCiAgY2luPj50YXN0ZVtpXTsKICBmb3IoaW50IGk9MDtpPG47aSsrKQogIGNpbj4+Y2FsW2ldOwogIGRwcChkcCwtMSk7CiAgaWYoc29sdmUoMCwwLDApPT0wKWNvdXQ8PC0xPDxlbDsKICBlbHNlIGNvdXQ8PHNvbHZlKDAsMCwwKTsKfQppbnQzMl90IG1haW4oKSAKewogICAgQXJ3YQogICAgaW50IHQ9MTsKICAgIC8vY2luPj50OwogICAgZm9yKGludCBpPTE7aTw9dDtpKyspCiAgICB7CiAgICBIZXJlV2VHb0FnYWluKCk7CiAgICB9CiAgICByZXR1cm4gMDsKfQo=