背景

下江小春同学，自称是实现正义部的菁英，来到补课部完全是意外！

今天的课程内容是一元二次方程“根”的判别和检验。然而，听罢你对于本节内容的介绍，小春同学大喊着“不许色色”，宣判着“死刑！”并向你举起了配枪！此后，她则红着脸一直走神，显然对于本节的知识完全没有听进去……

在想什么呢？

题目描述

对于你提出的课后补习方案，小春同学坚持辩称自己是实现正义部的菁英，因而不听本节内容就完全可以解决一元二次方程根的判别这样简单轻松的问题。

那么，来考考看，肯定没问题吧？

对于你给出的每一组数据中的每一个一元二次方程，小春会紧接着给出根的数目，你只需要验证她的回答是否正确。如果她的回答正确题目数大于等于总题数的60%，她就不必参与课后补习。

Format

Input

每组数据的第一行将包含一个正整数$n$，意味着这一组数据中将包含多少个一元二次方程。 此后的$n$行里，每一行包含一个一元二次方程字符串和一个整数$a$。整数$a$即是下江小春同学对于方程有多少不相同的实数根的回答。 一元二次方程组字符串按照 $ax^2+bx+c=0$ 的格式排布，严格保证为三项式恒等于0的格式。

这一格式最终在输入文件内表现为ax^2+bx+c=0

注意！如果在下江小春的回答中包含大于2的数值，则意味着她根本没有理解一元二次方程根的性质，无论她在本组数据中回答正确多少解，都认定为不及格！

Output

输出的第一行中，如果小春同学通过了课后测验，则返回True，否则返回False。

输出的第二行中，给出x/y，其中x是小春回答正确的题数，y是总题数。

Samples

5
3x^2+5x+2=0 2
4x^2-7x+1=0 1
5x^2+9x+1=0 2
-4x^2+0x+16=0 2
x^2+0x+0=0 1

True
4/5

Limitation

1s, 1024KiB for each test case.

$a,b,c$ 必定是整数，且有$-2047 \leq a,b,c \leq 2047.$

宽松的格式检查~

不必拘泥于那几个空格和回车。

“放松，朋友！多一点少一点没什么关系！”