BugZhu抽抽抽！！

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



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

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

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

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

YES
NO

2017浙江工业大学-校赛决赛-网络同步赛