{"raw_statement":[{"iden":"problem statement","content":"Takahashi is now competing in a programming contest, but he received TLE in a problem where the answer is `YES` or `NO`.\nWhen he checked the detailed status of the submission, there were $N$ test cases in the problem, and the code received TLE in $M$ of those cases.\nThen, he rewrote the code to correctly solve each of those $M$ cases with $1/2$ probability in $1900$ milliseconds, and correctly solve each of the other $N-M$ cases without fail in $100$ milliseconds.\nNow, he goes through the following process:\n\n*   Submit the code.\n*   Wait until the code finishes execution on all the cases.\n*   If the code fails to correctly solve some of the $M$ cases, submit it again.\n*   Repeat until the code correctly solve all the cases in one submission.\n\nLet the expected value of the total execution time of the code be $X$ milliseconds. Print $X$ (as an integer)."},{"iden":"constraints","content":"*   All input values are integers.\n*   $1 \\leq N \\leq 100$\n*   $1 \\leq M \\leq {\\rm min}(N, 5)$"},{"iden":"input","content":"Input is given from Standard Input in the following format:\n\n$N$ $M$"},{"iden":"sample input 1","content":"1 1"},{"iden":"sample output 1","content":"3800\n\nIn this input, there is only one case. Takahashi will repeatedly submit the code that correctly solves this case with $1/2$ probability in $1900$ milliseconds.\nThe code will succeed in one attempt with $1/2$ probability, in two attempts with $1/4$ probability, and in three attempts with $1/8$ probability, and so on.\nThus, the answer is $1900 \\times 1/2 + (2 \\times 1900) \\times 1/4 + (3 \\times 1900) \\times 1/8 + ... = 3800$."},{"iden":"sample input 2","content":"10 2"},{"iden":"sample output 2","content":"18400\n\nThe code will take $1900$ milliseconds in each of the $2$ cases, and $100$ milliseconds in each of the $10-2=8$ cases. The probability of the code correctly solving all the cases is $1/2 \\times 1/2 = 1/4$."},{"iden":"sample input 3","content":"100 5"},{"iden":"sample output 3","content":"608000"}],"translated_statement":null,"sample_group":[],"show_order":["default"],"formal_statement":null,"simple_statement":null,"has_page_source":true}