육회비빔밥

진주 나들이를 온 보선이는 배가 너무 고파 육회비빔밥을 먹으러 진주 대안동에 갔다. 그런데 웬 떡인가, 육회비빔밥 시식 행사가 진행 중이었다. 대식가이자 미식가인 보선이는 감칠맛을 최대한 살리기 위해 육회비빔밥을 전부 먹으려고 한다. 하지만 시식대 직원의 눈치가 조금씩 보이기 시작했다. 그래서 각 시식대의 정보를 파악한 뒤 전략적으로 먹기로 했다.

육회비빔밥 시식대는 총 $N$개이다. 각 시식대에는 육회비빔밥 한 그릇과 직원 1명이 있으며, 육회비빔밥의 단맛, 짠맛, 그리고 직원이 눈치를 주는 정도는 수치로 나타낼 수 있다. 보선이는 육회비빔밥이 남아 있는 시식대 중 하나를 골라 갈 수 있으며, 한 시식대에 갈 때마다 그곳의 육회비빔밥을 모두 먹어야 한다.

보선이가 $i$번째로 간 시식대의 육회비빔밥 단맛과 짠맛을 각각 $A_i$, $B_i$라고 하면, 보선이가 느끼는 총 감칠맛은 다음과 같다. $\sum_{i=2}^{N} A_{i-1} \times B_i$

보선이는 첫 번째 시식대에서는 눈치를 받지 않지만, 두 번째 시식대부터는 눈치를 받는다. $i$번째로 간 시식대 직원이 눈치 주는 정도를 $C_i$라고 하면, $i$($i \ge 2$)번째 시식대에서 보선이가 받는 눈치의 정도는 $C_{i-1} \times C_i$이다. 다만 보선이는 $K$만큼의 뻔뻔함을 지니고 있어서, 눈치 정도가 $K$ 이하이면 개의치 않고 그곳의 육회비빔밥을 먹는다. 눈치 정도가 $K$를 넘으면 육회비빔밥을 먹지 못하고 시식을 중단한다.

이러한 조건을 고려해 보선이가 육회비빔밥 $N$그릇을 모두 먹었을 때 느낄 수 있는 총 감칠맛의 최댓값을 구하시오.

첫 번째 줄에는 시식대의 개수 $N$과 보선이의 뻔뻔함의 정도 $K$가 공백으로 구분되어 주어진다. ($2 \le N \le 10$, $1 \le K \le 100$)

두 번째 줄에는 각 시식대 육회비빔밥의 단맛 $A_1, \dots, A_N$이 공백으로 구분되어 주어진다. ($1 \le A_i \le 10$)

세 번째 줄에는 각 시식대 육회비빔밥의 짠맛 $B_1, \dots, B_N$이 공백으로 구분되어 주어진다. ($1 \le B_i \le 10$)

네 번째 줄에는 각 시식대 직원의 눈치 정도 $C_1, \dots, C_N$이 공백으로 구분되어 주어진다. ($1 \le C_i \le 10$)

입력으로 주어지는 모든 수는 정수이다.

첫 번째 줄에 보선이가 육회비빔밥 $N$그릇을 모두 먹었을 때 느낄 수 있는 총 감칠맛의 최댓값을 출력한다. 육회비빔밥 $N$그릇을 모두 먹을 수 없다면 -1을 출력한다.

Python 3 사용자는 PyPy3로 제출하는 것을 권장한다.