T505591 [CHOI R1,T2] 精挑细选

水赛打多了吧！

CHOI 一共有 $n$ 道备选题，编号为 $1 \sim n$。CHOI 要出有**恰好** $m$ 道题的公开赛。标号为 $i$ 的备选题的难度分是 $a_i$ 分，出锅率是 $p_i$。 洛谷要求所有比赛题中最简单的题目的难度分要**大于等于** $t$。 记 $b_i$ 表示公开赛的第 $i$ 道题所对应的备选题编号。定义一场比赛的出锅率为 $1-\prod\limits_{i=1}^{m}(1-p_{b_i})$。（即 $1$ 减所有题都不出锅的概率） HJW 一共有 $k$ 次修改题目的机会，每次修改可以将任意一道题目的难度分提高 $x$ 分。 HJW 想要知道，如果他合理利用修改的机会并在选择时采取最优策略，那么这场比赛出锅率最低是多少？（即让出锅率最小）。 ### 形式化题意 给定 $n$ 和 $n$ 个整数 $a_i$ 以及 $n$ 个概率 $p_i$，你有 $k$ 次操作可以任意挑选一个 $i(i\in[1,n])$ 使得 $a_i$ 加 $x$，从中选 $m$ 个 $b_1,b_2,\dots,b_m$ 使得 $\min\limits_{1 \le i \le m}\{a_{b_i}\}\ge t$ 且 $1-\prod\limits_{i=1}^{m}(1-p_{b_i})$ 最小，输出这个最小值。

第一行五个整数 $n,m,t,k,x$，含义见上。 接下来 $n$ 行，每行一个整数和一个实数 $a_i,p_i$。

输出最小的出锅率，保留五位小数（**本题使用SPJ**，你的答案和标准答案之差不超过 $10^{-5}$ 即视为正确）。 如果怎么样都无法选出 $m$ 题作为公开赛的题目，输出 $-1$。

### 样例解释1 选择第 $1,2,3,4$ 道题目（两次修改用在第三题，一次用在第四题），总的出锅率为 $1-(1-0.05)\times(1-0.02)\times(1-0)\times(1-0.1) = 0.1621$。 ### 样例解释2 可以证明，在任意情况下，CHOI 都选不出 $m$ 道题目作为公开赛题目。 ### 数据范围 |Subtask|分数|$n \le$|$k \le$|特殊性质| |:--:|:--:|:--:|:--:|:--:| |$0$|$15$|$10$|$10$|无| |$1$|$15$|$300$|$300$|$k=0$| |$2$|$70$|$ 300$|$300$|无| 对于所有数据，保证 $1 \le m\le n\le 300$，$0 \le k \le 300$，$0\le p_i \le 1$，$0 \le x,a_i,t \le 10^6$。