#abc223e. [abc223_e]Placing Rectangles

[abc223_e]Placing Rectangles

問題文

正整数 X,YX, Y に対し、22 次元平面上において以下の条件を満たす長方形を良い長方形と呼びます。

  • 全ての辺は xx 軸または yy 軸に並行である。
  • 全ての頂点に対し、その xx 座標は 00 以上 XX 以下の整数であり、その yy 座標は 00 以上 YY 以下の整数である。

面積がそれぞれ AA 以上、BB 以上、CC 以上であるような 33 つの良い長方形を重ならないように配置することができるか判定してください。

ただし、33 つの長方形が重ならないとは、どの 22 つの長方形についても、それらの共通部分の面積が 00 であることを指します。

制約

  • 1leqX,Yleq1091 \\leq X, Y \\leq 10^9
  • 1leqA,B,Cleq10181 \\leq A, B, C \\leq 10^{18}
  • 入力は全て整数である。

入力

入力は以下の形式で標準入力から与えられる。

XX YY AA BB CC

出力

問題文で与えられた条件を満たすように長方形を配置することができるならば Yes、できないならば No と出力せよ。


入力例 1

3 3 2 2 3

出力例 1

Yes

下の図のように配置すればよいです。長方形内の数値は面積を表します。

2geqA,3geqB,3geqC2 \\geq A, 3 \\geq B, 3 \\geq C であるので、問題文で与えられた条件を満たします。

image


入力例 2

3 3 4 4 1

出力例 2

No

条件を満たすように配置することはできません。


入力例 3

1000000000 1000000000 1000000000000000000 1000000000000000000 1000000000000000000

出力例 3

No