AT_kupc2013_h N and K

Description

[problemUrl]: https://atcoder.jp/contests/kupc2013/tasks/kupc2013_h

Input Format

N/A

Output Format

N/A