시간 제한메모리 제한제출정답맞힌 사람정답 비율
3 초 512 MB65302746.552%

## 문제

Your greeting card company makes unique greeting cards. The sizes of these greeting cards vary widely because of the whims of card designers. There are a lot of different types of cards, and each has a specific quantity that you need to manufacture.

Your job is to determine what envelopes to order for these greeting cards. You have a strict limit on the different number of different sizes of envelopes, which may be less than the number of distinct sizes of cards. You need to have envelopes so that every card fits in some envelope, possibly with room to spare, and the amount of waste paper is minimized. Measure the waste paper by the area of the envelope that is in excess of the area of the card, for each card. For example, a 10 × 4 card in a 10 × 4 envelope has no wasted paper, but a 10 × 4 card in a 12 × 5 envelope has waste of 20. You may not rotate the cards to fit them in the envelopes better.

Suppose that you have 5 types of cards: 10 × 10 (5 of these), 9 × 8 (10 of these), 4 × 12 (20 of these), 12 × 4 (8 of these), and 2 × 3 (16 of these).

Now, suppose that you can only buy one type of envelope. Since all cards have to fit in that one envelope size, the smallest envelope size you can use is 12×12, with an area of 144. The wastes by each type of card are 144−10 · 10 = 44, 144−9 · 8 = 72, 144−4 · 12 = 96, 144−12 · 4 = 96, and 144−2 · 3 = 138, respectively. The total waste is 44 · 5+72 · 10+96 · 20+96 · 8+138 · 16 = 5836.

Suppose that you can buy 2 types of envelopes. The best you can do is to put the 10 × 10, 9 × 8 and 12 × 4 cards in 12 × 10 envelopes, and the 4 × 12 and 2 × 3 cards in 4 × 12 envelopes. That adds up to waste of 1828.

If you can buy 5 types of envelopes, then you can match one envelope type to each card type, and there’s no waste!

Given a list of card types and the number of types of envelopes you can buy, what is the smallest amount of wasted paper you can achieve?

## 입력

Each input will consist of a single test case. Note that your program may be run multiple times on different inputs. The first line of the input will consist of two space-separated integers n and k (1 ≤ n, k ≤ 15), where n is the number of different types of cards, and k is the maximum number of types of envelopes you can order. Each of the following n lines will consist of three integers, describing a type of card. The integers are w, h and q (1 ≤ w, h, q ≤ 10,000), where w is the width of the cards of this type, h is the height of the cards, and q is the quantity of cards of this type.

## 출력

Output a single integer, representing the smallest possible total amount of wasted paper.

## 예제 입력 1

5 1
10 10 5
9 8 10
4 12 20
12 4 8
2 3 16


## 예제 출력 1

5836


## 예제 입력 2

5 2
10 10 5
9 8 10
4 12 20
12 4 8
2 3 16


## 예제 출력 2

1828


## 예제 입력 3

5 5
10 10 5
9 8 10
4 12 20
12 4 8
2 3 16


## 예제 출력 3

0