G - Contest

解説を見る
  • 実行時間制限:2000 ms
  • メモリ制限:1073741824 Bytes
  • 配点:150
  • ジャッジ:Batch

問題

ビ太郎くんはプログラミングコンテストに出場しています。
コンテストにはNN問の問題があり、ii問目(1iN1\leq i\leq N)の問題の難易度はDiD_iです。
このコンテストは、AtsuoCoderのようにプログラムを提出するのではなく、「全ての問題の全てのテストケースの入力ファイルが与えられ、それを手元で実行した出力をテキストで提出する」という形式で行われています(大昔のJOIとかがこういう形式です)。
ビ太郎くんは早解きの天才ですが、計算量改善は苦手です。そのため、ビ太郎くんは各問題に正解するコードは一瞬で書く事ができますが、そのプログラムは22秒で実行が終わるとは限らず、ii問目のテストケースを実行し終わるまでにTiT_i秒かかってしまいます。ビ太郎くんのPCは強いので、複数の問題の解答プログラムを同時に実行する事もできます。
また、ビ太郎くんの体力をHHとすると、解く問題の難易度の合計がHHを超える事はできません。
ビ太郎くんの目標はMM問解く事です。ビ太郎くんがMM問解き終わるまでには最低何秒かかるでしょう?MM問解く事が不可能な場合は-1と出力してください。(テストケースを手元で実行する以外にかかる時間は無視できるとします)

制約

  • 1MN2×1051\leq M\leq N\leq2\times10^5
  • 1H10181\leq H\leq10^{18}
  • 1Di,Ti109(1iN)1\leq D_i,T_i\leq10^9(1\leq i\leq N)
  • 入力はすべて整数

小課題

  1. (50点)N20N\leq20
  2. (100点)追加の制約はない

入力

N M HN~M~H
D1 T1D_1~T_1
D2 T2D_2~T_2
\vdots
DN TND_N~T_N

入力例1

3 2 4
1 15
3 10
5 12

出力例1

15

まず11問目と22問目を解き、プログラムの実行を同時に始めると、1010秒経った時点で22問目のプログラムが終了し、その55秒後に11問目のプログラムが終了するので、1515秒で22問解く事ができます。

入力例2

3 2 4
2 15
3 10
5 12

出力例2

-1

ビ太郎くんの体力では、11問までしか解く事ができません。