题目描述

小蓝最近在研究一种浮点数的表示方法：$R$ 格式。

对于一个大于 $0$ 的浮点数 $d$，可以用 $R$ 格式的整数来表示。

给定一个转换参数 $n$，将浮点数转换为 $R$ 格式整数的做法是:

1. 将浮点数乘以 $2^n$

2. 四舍五入到最接近的整数。

输入格式

一行输入一个整数 $n$ 和一个浮点数 $d$，分别表示转换参数，和待转换的浮点数。

输出格式

输出一行表示答案：$d$ 用 $R$ 格式表示出来的值。

数据范围

用 $l$ 表示将 $d$ 视为字符串时的长度。

对于 $50\%$ 的评测用例：$1≤n≤10$ ，$1≤l≤15$。

对于 $100\%$ 的评测用例：$1≤n≤1000$，$1≤l≤1024$ ；保证 $d$ 是小数，即包含小数点。

输入样例:

2 3.14

输出样例：

13