Home Web Board ProblemSet Standing Status Statistics
long long输出请使用 %lld服务器的python版本为3.4
Problem C: BugZhu抽抽抽！！

Problem C: BugZhu抽抽抽！！

Time Limit: 1 Sec  Memory Limit: 128 MB
Submit: 193  Solved: 58
[Submit][Status][Web Board]

Description

当前正火的一款手游阴阳师又出新式神了，BugZhu十分想要获得新出的式神，所以他决定花光所有的积蓄来抽抽抽！BugZhu经过长时间的研究后发现通过画三角外接圆能够提高获得该式神的概率，即如下图所示的图形：


高超的数学天分给予了BugZhu神一般的洞察力，BugZhu还发现当图中阴影部分的面积处在[l,r]之间时，他能够获得最高的概率。BugZhu现在画好了符，他能不能获得最高概率呢？

Input

不超过100组数据
每组数据第一行给出l和r(l,r均在double范围内)。
接下来3行，给出所画三角形三个顶点的坐标xi,yi(|xi|,|yi|<=1000)

Output

每组数组输出一个YES或NO表示能不能获得最高概率

Sample Input

1 5
0.0000 1.0000
-1.0000 0.0000
1.0000 0.0000

3 5
0.0000 1.0000
-1.0000 0.0000
1.0000 0.0000

Sample Output

YES
NO

HINT

[Submit][Status][Web Board]