Younghoon the Informatics God

This problem has nothing to do with any real person, place, or situation.

Younghoon is a high school student and one of the strongest informatics students in his year. He still insists that he is an ordinary programming beginner. The narrator, who has put up with this modesty long enough, decides to show him the numbers.

Younghoon said he would study science, but today he is again solving online judge problems during study hall. The narrator decided to score those problems and prove that Younghoon is an InfoGod (informatics + god).

The narrator gave every problem a star rating from 1 to 100. A 1 star problem is the easiest one and a 100 star problem is the hardest one. A rating is not necessarily an integer. One problem is rated 35.55 stars. The score for a solved problem is given below, where $S$ is the star rating of the problem, $A$ is the number of attempts Younghoon made, $T$ is the running time of Younghoon's source, and $M$ is the running time of the fastest accepted source for that problem.

$(\text{score}) = \frac{S\left(1+\frac{1}{A}\right)\left(1+\frac{M}{T}\right)}{4}$

For $S = 75.12$, $A = 3$, $T = 68$, $M = 64$ the score is $48.6070588...$. Younghoon's total score is the sum of the scores of every problem he solved.

Younghoon writes Python, the language taught in his informatics class. Python is not particularly fast, so a running time never shows up as 0ms.

Younghoon is writing a report when the narrator walks up to him.

• Narrator: You solved this already? An InfoGod really is different...
• Younghoon: Me, an InfoGod? So many people are better than me... (he lists the names of other strong informatics students)
• Narrator: It is not like the world has only one InfoGod. So what percentile do you think someone has to reach to be one?
• Younghoon: Mmm... the top 15%? But I am not in there, I told you.

So use Younghoon's own standard. If his total score lands in the top 15%, call him an InfoGod. Being in the top 15% means that his rank is at most 15% of the number of people.

Given the problems Younghoon solved and the total scores of the people he is compared against, find his total score and whether he is an InfoGod.

The first line contains the number of problems Younghoon solved, $N$. ($1 \le N \le 1\,000$)

Each of the next $N$ lines contains $S$, $A$, $T$, and $M$, separated by spaces. $S$ is given with at most two digits after the decimal point, and every other value is a natural number. ($1 \le S \le 100$, $1 \le A \le 1\,000$, $1 \le M \le T \le 10\,000$)

The next line contains the number of people Younghoon is compared against, $P$. ($6 \le P \le 1\,000$)

Each of the next $P$ lines contains the total score $R$ of one of those people, given with at most two digits after the decimal point. ($1 \le R \le 1\,000\,000$)

None of the $P$ people has exactly the same total score as Younghoon.

Younghoon's rank is one plus the number of the $P$ people whose total score is higher than his. Compare the exact total scores, not the rounded ones.

If his rank is at most 15% of $P+1$, print The total score of Younghoon "The God" is X. on the first line. Otherwise print The total score of Younghoon is X.

$X$ is Younghoon's total score written with exactly two digits after the decimal point. Round at the third digit after the decimal point, and when the total sits exactly halfway between two values, round up. Keep both decimal digits even when they are zeros.