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, <image> , 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 <image> fulfills, that's exactly what Inna wants.

In the second test sample we cannot choose the fruits so as to follow Inna's principle.
#include <bits/stdc++.h>
using namespace std;
const long long P = 239017, MaxN = 2100000, INF = 1000000000;
int n, k, a[1000], b[1000], can[110][210000];
int main() {
  scanf("%d%d", &n, &k);
  for (int i = 0; i < n; ++i) scanf("%d", &a[i]);
  for (int i = 0; i < n; ++i) scanf("%d", &b[i]), b[i] *= k;
  int add = 100000;
  for (int i = 0; i <= 100; ++i)
    for (int j = -add; j <= add; ++j) can[i][j + add] = -INF;
  can[0][add] = 0;
  for (int i = 0; i < n; ++i) {
    for (int bl = -add; bl <= add; ++bl) {
      can[i + 1][bl + a[i] - b[i] + add] =
          max(can[i + 1][bl + a[i] - b[i] + add], can[i][bl + add] + a[i]);
      can[i + 1][bl + add] = max(can[i + 1][bl + add], can[i][bl + add]);
    }
  }
  printf("%d", can[n][add] <= 0 ? -1 : can[n][add]);
  return 0;
}
