Background背景

你知道世界上100米跑得最快的人是谁吗？是“飞人”博尔特。

博尔特，牙买加短跑运动员100 米现世界纪录保持者，前后四次打破世界纪录，现在世界纪录是9.58秒。

打破博尔特的世界记录，是很多短跑运动员的梦想。

请设计一个程序，判断这名短跑运动员是否打破了博尔特的世界记录。

Input输入

输入短跑成绩，短跑成绩是一个浮点型。

Output输出

输出判断结果，如果打破了世界记录，输出“Yes”，没有打破世界记录，输出“No”。

Samples样例

9.91

No

9.42

Yes

Limitation样例

1s, 1024KiB for each test case.