Weighted Average Score

Source: Phước Hưng OJ

Version: Phuoc Hung OJ Extended

Problem Statement

Given three scores $x,y,z$, compute the weighted average $0.2x+0.3y+0.5z$ with exactly two fractional digits. Each score is a multiple of 0.5 between 0 and 10.

Input

One line containing three real scores $x,y,z$.

Output

Print the weighted average with exactly two fractional digits.

Subtask

• Subtask 1 — 100 points: $0\le x,y,z\le10$; each belongs to $\{0,0.5,1,1.5,\ldots,10\}$.

Example

Input

8 7 9

Output

8.20

Explanation

The weighted terms are $1.6$, $2.1$, and $4.5$. Their sum is $8.2$, displayed as 8.20.