용감한 용사 진수

적 병사 $N$명이 있다. 각 병사에게는 힘, 민첩, 지능 세 가지 능력치가 있고, 용감한 용사 진수에게도 같은 세 가지 능력치가 있다.

어떤 적 병사에 맞서 다음 세 조건이 모두 성립하면 진수는 그 병사를 이긴다.

1. 진수의 힘이 그 병사의 힘 이상이다.
2. 진수의 민첩이 그 병사의 민첩 이상이다.
3. 진수의 지능이 그 병사의 지능 이상이다.

진수의 세 능력치는 처음에 모두 $0$이고, 스탯 포인트를 $1$ 쓸 때마다 세 능력치 중 하나가 $1$ 오른다. 따라서 진수가 쓴 스탯 포인트의 총합은 힘과 민첩과 지능의 합과 같다. 스탯 포인트를 받으면 진수는 최대한 많은 적을 이기도록 스스로 나눠 넣는다.

병사 $N$명의 능력치가 주어질 때, 진수가 적어도 $K$명을 이길 수 있게 하는 스탯 포인트의 최솟값을 구하여라.

첫째 줄에 병사 수 $N$과 진수가 이겨야 하는 병사 수 $K$가 주어진다. ($1 \le K \le N \le 100$)

둘째 줄부터 $N$개의 줄에 걸쳐 각 병사의 힘, 민첩, 지능이 공백으로 구분된 음이 아닌 정수 세 개로 주어진다. ($0 \le$ 힘, 민첩, 지능 $\le 10^6$)

진수가 적어도 $K$명의 병사를 이길 수 있게 하는 스탯 포인트의 최솟값을 한 줄에 출력한다.