AT_discovery_2016_final_b DDPC特別ビュッフェⅡ

[problemUrl]: https://atcoder.jp/contests/discovery2016-final/tasks/discovery_2016_final_b DISCO presents ディスカバリーチャンネルプログラミングコンテスト 2016本戦のDDPC特別ビュッフェの時間が始まりました。あなたはこれから料理の載っていないトレーに料理を載せに行くところです。 DDPC特別ビュッフェには $ N $ 種類の料理があります。 $ i $ 種類目の料理はビュッフェの開始から $ T_i $ 秒後になくなり、料理の美味しさは $ A_i $ です。 DDPC特別ビュッフェにはいくつかの特別なルールがあります。 - あなたは $ 1 $ 種類の料理をトレーに載せるのに $ 1 $ 秒かけなくてはならない。すなわち料理を載せ始めた時刻が $ s $ であったとき、料理を載せ終わったときの時刻は $ s+1 $ となる。 - あなたは以前にトレーに載せた料理と同じ種類の料理を載せてはならない。 - 現在の時刻 $ s $ が$ s+1≦T_i $ を満たさないとき、種類 $ i $ の料理をトレーに載せることはできない。 あなたはトレーに載っている料理の美味しさの総和が $ X $ 以上になったところで席に戻ることにしました。トレーに載っている料理の美味しさの総和を $ X $ 以上にすることが可能な最小の時刻 $ t $ を求めてください。

入力は以下の形式で標準入力から与えられる。 > $ N $ $ X $ $ T_1 $ $ T_2 $ … $ T_N $ $ A_1 $ $ A_2 $ … $ A_N $ - $ 1 $ 行目にDDPC特別ビュッフェに存在する料理の種類数を表す整数 $ N(1≦N≦10^{5}) $ とトレーに載っている料理の美味しさの総和の目標値 $ X(1≦X≦10^{9}) $ が空白区切りで与えられる。 - $ 2 $ 行目にDDPC特別ビュッフェに存在する料理の $ i $ 種類目の料理がなくなる時刻 $ T_i\ (1≦T_i≦10^{5}) $ が空白区切りで与えられる。 - $ 3 $ 行目にDDPC特別ビュッフェに存在する料理の $ i $ 種類目の料理の美味しさを表す整数 $ A_i\ (1≦A_i≦10^{5}) $ が空白区切りで与えられる。

トレーに載っている料理の美味しさの総和を $ X $ 以上にすることが可能な最小の時刻 $ t $ を $ 1 $ 行に出力せよ。不可能な場合は`-1`を出力せよ。末尾に改行を忘れないこと。

### 部分点 この問題には部分点が設定されている。 - $ T_i\