前言

该题是三国争霸系列的其一。三国指中士国,宓果国,和家鸡国。
如有雷同，纯属巧合

题目背景的背景

公元114年5月，中士建国，定都中城，史称中士祖。
同年10月，家鸡建国，设都城为鸡脚城，史称鸡太宗。
公元115年初春，雄踞东北的宓果建国，都城未定，自称果霸王。
自此，三国鼎立局面形成。

题目背景

中士十分重视科技的发展。但让他发愁的是，他每当想要增加科学家的数量时，都会发现食物正在负增长。对此，他十分焦虑，于是命令你在1000ms内告诉他他该怎么做。一旦你成功了，他就会把你提拔成丞相，所以你接手了这个任务。

题目描述

现在，中士给了你一些信息。
1.一个城市初始的幸福度为 100% ，上限100%，下限0%。
2. 每一个 市民都会减少 5 幸福度。
3. 每一个 市民都会消耗 1 食物。
4. 每一个 市民都会增加 0.2 科学点。(此加成受幸福度影响)
5.艺人是 一种市民，可以增加 8%幸福度 。
6.科学家是 一种市民 ， 理论上 可以增加 2科学 。
7.农民是 一种市民 ， 理论上 可以提供 4食物 。
8.科学家和农民的 实际 生产力为理论生产力*(25%+幸福度)。
现在，中士给你这个城市的人口数量，请告诉他在食物实际生产为 正数 的情况下最多能创造出多少科学。

输入样例

共一行，一个整数，指人数。

sample 1

5

sample 2

12

输出样例

共一行，一个整数，指最多多少点科学。(保留三位小数)

sample 1

7.000

sample 2

11.664

提示

总人数小于10000。