题目描述

小P每天沉浸在不断的忙碌之中。

忙碌，自然就是写他那巨多的暑假作业。小P所在学校的暑假作业数量非常少，只有 $4^n$ 份。

已知小P每 $k$ 分钟会写完 $r$ 份作业，求他写完这些作业需要多少分钟。

时间必须取整数分钟，若不能整除则向下取整。

形式化地，你需要求出

$$\left\lfloor \dfrac{4^n \times k}{r} \right\rfloor$$

输入格式

输入一行，三个用空格隔开的整数，分别表示 $n, k, r$。

输出格式

输出一行一个整数，表示小P写完这些作业需要的分钟数。

输入输出样例 #1

输入 #1

3 5 4

输出 #1

80

输入输出样例 #2

输入 #2

5 1 1

输出 #2

1024

说明

数据范围

• 对于 $20\%$ 的数据，$1 \le n \le 15$，$1 \le k \le 10^4$，$1 \le r \le 10^8$。
• 对于 $100\%$ 的数据，$1 \le n \le 31$，$1 \le k \le 10^{12}$，$1 \le r \le 10^{13}$。