牛牛去买球
题号:NC21668
时间限制:C/C++/Rust/Pascal 1秒,其他语言2秒
空间限制:C/C++/Rust/Pascal 512 M,其他语言1024 M
64bit IO Format: %lld

题目描述

一个人如果在他很小的时候就自己赚过钱,他的一生都会过得非常节俭,因为他知道财富来之不易.

作为一个勤俭节约的好孩子,牛牛决定在生活中践行这一原则.

有一天他想去商店买一些球来玩,他发现商店里有n个盒子,每个盒子外面有一张标签告诉你有ai个红球,bi个蓝球,需要ci的钱购买

但是由于店主是一个粗心的人,他告诉你每个盒子球的总量是符合标签的说明的,但是具体的种类可能会有如下偏差,比如可能有

(ai+1 ,bi-1),(ai, bi), (ai-1, bi+1)三种可能

牛牛 想要买至少K个同颜色的球,但是他又不想浪费钱.

帮他算算最少花多少钱买盒子能够使得至少会有K个球是同色的

输入描述:

第一行输入两个整数n,K (1≤ n≤50, 1 ≤ K ≤ 10000)

第二行输入n个整数表示a数组

第三行输入n个整数表示b数组

第三行输入n个整数表示c 数组

1 ≤ ai,bi,ci ≤ 10000

输出描述:

输出一个整数,如果无法达成目的,输出$-1$
示例1

输入

复制
2 10
6 5
4 4
1 1

输出

复制
2
示例2

输入

复制
2 10
5 5
4 4 
1 1

输出

复制
-1
示例3

输入

复制
1 9
10
5
13

输出

复制
13
示例4

输入

复制
5 10
1 2 3 4 5
1 2 3 4 5
1 2 3 4 5

输出

复制
10
示例5

输入

复制
5 17
1 2 3 4 15
1 2 3 4 5
1 2 3 4 5

输出

复制
9