연료

미르코는 얼마 전 미국으로 여행을 가서 흰 줄무늬가 들어간 주황색 미국식 컨버터블을 빌렸다. 자동 변속기와 내비게이션이 달려 있고, 계기판은 영어로 표시되며 단위는 야드파운드법을 쓴다. 가장 불편한 점은 연비가 갤런당 마일로 표시되는 것이다. 그래서 차가 기름을 실제로 얼마나 먹는지 감을 잡기 어렵다.

갤런당 마일로 주어진 연비를 100킬로미터당 리터로 바꾸는 프로그램을 작성하라.

1갤런은 정확히 $3.785411784$리터이고, 1마일은 정확히 $1609.344$미터다.

첫째 줄에 미르코의 자동차가 1갤런으로 달리는 거리를 마일 단위로 나타낸 소수 $x$가 주어진다. $x$는 소수점 아래 두 자리까지 주어지며 $1 \le x \le 1000$이다.

자동차가 100킬로미터를 달리는 데 쓰는 연료의 양을 리터 단위로 한 줄에 출력한다. 소수점 아래 일곱째 자리에서 반올림해 소수점 아래 여섯 자리를 항상 채워서 출력한다.