#include<stdio.h> #include<string.h> #include<algorithm> #include<iostream> using namespace std; #define INF 99999999 int n,k,i,j; int num[101]; int dp1[100001]; int dp2[100001]; int as[1001]; int bs[1001]; int main() { int a,b; while(~scanf("%d%d",&n,&k)) { for(i=0;i<=100000;i++)dp1[i]=dp2[i]=-INF; dp1[0]=dp2[0]=0; for(i=1;i<=n;i++)scanf("%d",&as[i]); for(j=1;j<=n;j++)scanf("%d",&bs[j]); for(i=1;i<=n;i++) { a=as[i]; b=bs[i]; num[i]=a-b*k; if(num[i]<0) { num[i]=-num[i]; for(j=100000;j>=num[i];j--) { dp2[j]=max(dp2[j],dp2[j-num[i]]+a); } } else { for(j=100000;j>=num[i];j--) { dp1[j]=max(dp1[j],dp1[j-num[i]]+a); } } } int maxn; maxn=-1; for(i=10000;i>=0;i--) { maxn=max(maxn,dp1[i]+dp2[i]); } if(maxn==0)maxn=-1; cout<<maxn<<endl; } return 0; }