프로그램 명: ioi_gar
제한시간: 1 초
//번역//

Byteman owns the most beautiful garden in Bytetown. He planted n roses in his garden. Summer has come and the flowers have grown big and beautiful. Byteman has realized that he is not able to take care of all the roses on his own. He has decided to employ two gardeners to help him. He wants to select two rectangular areas, so that each of the gardeners will take care of the roses inside one area. The areas should be disjoint and each should contain exactly k roses.

Byteman wants to make a fence surrounding the rectangular areas, but he is short of money, so he wants to use as little fence as possible. Your task is to help Byteman select the two rectangular areas. The garden forms a rectangle l meters long and w meters wide. It is divided into l · w squares of size 1 meter × 1 meter each. We fix a coordinate system with axes parallel to the sides of the garden. All squares have integer coordinates (x,y) satisfying 1 x l, 1 y w. Each square may contain any number of roses.

The rectangular areas, which must be selected, should have their sides parallel to the sides of the garden and the squares in their corners should have integer coordinates. For 1 l1 l2 l and 1 w1 w2 w, a rectangular area with corners (l1,w1), (l1,w2), (l2,w1) and (l2,w2):

The two rectangular areas must be disjoint, that is they cannot contain a common square. Even if they have a common side, or part of it, they must be surrounded by separate fences.

Task

Write a program, that:

입력

The first line of standard input contains two integers: l and w (1 l,w 250) separated by a single space . the length and the width of the garden. The second line contains two integers: n and k (2 n 5000, 1 k n/2) separated by a single space . the number of roses in the garden and the number of roses that should be in each of the rectangular areas. The following n lines contain the coordinates of the roses, one rose per line. The (i+2)-nd line contains two integers li, wi (1 li l, 1 wi w) separated by a single space . the coordinates of the square containing the i-th rose. Two or more roses can occur in the same square. In 50% of test cases, the dimensions of the garden will satisfy l,w 40.

출력

The standard output should contain only one line with exactly one integer.the minimum sum of perimeters of two non-overlapping rectangular areas, each containing exactly k roses, or a single word NO, if no such pair of areas exists.

입출력 예

입력

6 5
7 3
3 4
3 3
6 1
1 1
5 5
5 5
3 1

출력

22
출처:IOI 2005

[질/답] [제출 현황] [푼 후(2)]
[ 채 점 ] [홈으로]  [뒤 로]