問題文

一般的な64bit符号付き整数型で表現できる整数$A$, $B$が与えられる。$A \times B$ は64bit符号付き整数型で表現できるだろうか？

制約

• $-2^{63} \leq A \leq 2^{63}-1$
• $-2^{63} \leq B \leq 2^{63}-1$
• $A, B$ は整数である

入力

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

A B

出力

$-2^{63} \leq A \times B \leq 2^{63}-1$ を満たすのならばYesを出力し、満たさないのならばNoを出力せよ。

サンプル

120 43

Yes

1234567890 1234567890

No

9223372036854775807 0

Yes