Fixing the Bugs

A large software company is preparing to launch a new version of its flagship product. As a newly hired developer on the project, you are given a list of open bugs to fix before the new version ships.

Because they are bugs, you are not certain how to fix them, though you have some ideas. For each bug you can estimate how likely you are to fix it quickly. These estimates may be wrong, so if you attempt a bug and fail, you revise your estimate for that bug downward.

We use the following probabilistic model. Each bug has a current fix probability $p$. Every hour you choose one open bug and work on it for the whole hour (if you fix it in less than an hour, you spend the rest of the hour celebrating). You fix the bug during that hour with probability $p$. If you fail, that bug's fix probability is multiplied by a factor $f$ (with $0 \le f \le 1$), becoming $p \cdot f$; the fix probabilities of the other bugs are unchanged. The next hour you again choose an open bug, and so on, until the new version is released.

Each bug also has a severity $s$, indicating how valuable fixing it is. You may not manage to fix every bug before release, so to make the best impression on your boss you want to maximize the total severity of the bugs you do fix, by carefully choosing which bug to work on each hour. If every hour you choose the bug to work on so as to maximize this quantity, what is the expected total severity of the bugs you fix?

The first line contains three numbers $B$, $T$, and $f$:

• an integer $B$ ($0 \le B \le 10$), the number of open bugs,
• an integer $T$ ($0 \le T \le 100$), the number of hours left until release,
• a real number $f$ ($0 \le f \le 1$), the confidence factor described above.

Each of the next $B$ lines describes one open bug with two numbers $p$ and $s$: a real number $p$ ($0 \le p \le 1$), the bug's initial fix probability, and an integer $s$ ($0 \le s \le 10000$), its severity.

Print the maximum expected total severity of the bugs you fix, assuming you work so as to maximize it, rounded to exactly six digits after the decimal point.