田忌赛马
题号：NC288479
时间限制：C/C++/Rust/Pascal 1秒，其他语言2秒
空间限制：C/C++/Rust/Pascal 256 M，其他语言512 M
64bit IO Format: %lld

题目描述

\hspace{15pt}田忌与齐威王正在赛马，比赛一共三局，三局两胜，当一方马匹速度严格大于另一方时获胜，每匹马只能出场一次。
\hspace{15pt}现在你已经知道了齐威王的马匹上场的顺序，将在第一、二、三场上场的马匹速度分别为 v_1,v_2,v_3。同时，你也已经知道了田忌所拥有的马匹速度，分别为 a_1,a_2,a_3。
\hspace{15pt}你可以调整田忌的马匹出场顺序，你能否帮助田忌赢得这场比赛？

输入描述:

\hspace{15pt}第一行输入三个整数 v_1,v_2,v_3 \left(1 \leq v_i \leq 9\right) 代表齐威王按上场顺序的马匹速度。
\hspace{15pt}第二行输入三个整数 a_1,a_2,a_3 \left(1 \leq a_i \leq 9\right) 代表田忌拥有的马匹速度。顺序可以任意调整。

输出描述:

\hspace{15pt}如果田忌可以获胜，直接输出 \rm Yes，否则输出 \rm No。
示例1

输入

复制 
3 2 1
1 2 3

输出

复制 
Yes

说明

\hspace{15pt}在这个样例中，田忌可以在第一局派出速度为 1 的马匹，在第二局派出速度为 3 的马匹，在第三局派出速度为 2 的马匹。如此一来，他会赢得两局比赛，从而获胜。
示例2

输入

复制 
2 2 2
2 2 3

输出

复制 
No