CodeForces - 366C Dima and Salad

C. Dima and Salad

time limit per test

1 second

memory limit per test

256 megabytes

input

standard input

output

standard output

Dima, Inna and Seryozha have gathered in a room. That's right, someone's got to go. To cheer Seryozha up and inspire him to have a walk, Inna decided to cook something.

Dima and Seryozha have n fruits in the fridge. Each fruit has two parameters: the taste and the number of calories. Inna decided to make a fruit salad, so she wants to take some fruits from the fridge for it. Inna follows a certain principle as she chooses the fruits: the total taste to the total calories ratio of the chosen fruits must equal k. In other words,  , where aj is the taste of the j-th chosen fruit and bj is its calories.

Inna hasn't chosen the fruits yet, she is thinking: what is the maximum taste of the chosen fruits if she strictly follows her principle? Help Inna solve this culinary problem — now the happiness of a young couple is in your hands!

Inna loves Dima very much so she wants to make the salad from at least one fruit.

Input

The first line of the input contains two integers n, k (1 ≤ n ≤ 100, 1 ≤ k ≤ 10). The second line of the input contains n integers a1, a2, ..., an (1 ≤ ai ≤ 100) — the fruits' tastes. The third line of the input contains n integers b1, b2, ..., bn (1 ≤ bi ≤ 100) — the fruits' calories. Fruit number i has taste ai and calories bi.

Output

If there is no way Inna can choose the fruits for the salad, print in the single line number -1. Otherwise, print a single integer — the maximum possible sum of the taste values of the chosen fruits.

Examples

input

3 2
10 8 1
2 7 1

output

18

input

5 3
4 4 4 4 4
2 2 2 2 2

output

-1

Note

In the first test sample we can get the total taste of the fruits equal to 18 if we choose fruit number 1 and fruit number 2, then the total calories will equal 9. The condition  fulfills, that's exactly what Inna wants.

In the second test sample we cannot choose the fruits so as to follow Inna's principle.

把a-b*k视为重量，a视为价值，背包，因为a-b*k有负数情况，所以要考虑负数容量的情况

把a-b*k视为重量，是因为这样就可以叠加，当a=b*k时，也就是重量为0的状态，    初始没有物品时，重量也为零，所以dp数组初始化要讲重量为0（dp【0】）赋为零，而其余状态刚开始并不存在，所以都赋为负无穷

#include<bits/stdc++.h>
using namespace std;
#define inf 0x3f3f3f3f;
int dp[2][10050];
int main()
{
	int x,j,ans,n,k,i,a[200],b[200];
	for(i=0;i<2;i++)
	for(j=1;j<10050;j++)
	dp[i][j]=-1*inf;
	dp[0][0]=dp[1][0]=0;
	scanf("%d %d",&n,&k);
	for(i=0;i<n;i++)
	scanf("%d",&a[i]);
	for(i=0;i<n;i++)
	scanf("%d",&b[i]),b[i]=a[i]-b[i]*k;
	for(i=0;i<n;i++)
	{
		if(b[i]>0)
		{
			for(j=10000;j>=b[i];j--)
			{
				dp[0][j]=max(dp[0][j-b[i]]+a[i],dp[0][j]);
			}
		}
		else
		{
			x=-1*b[i];
			for(j=10000;j>=x;j--)
			{
				dp[1][j]=max(dp[1][j-x]+a[i],dp[1][j]);
			}
		}
	}
	ans=0;
	for(i=0;i<=10000;i++)
	{
		ans=max(ans,dp[0][i]+dp[1][i]);
	}
	if(ans==0)
	printf("-1\n");
	else
	printf("%d\n",ans);
	return 0;
}