AT_arc200_b [ARC200B] LCM

正整数 $ A_1,A_2,A_3 $ が与えられます。 以下の条件を全て満たす正整数の組 $ (X_1,X_2) $ が存在するか判定し、存在する場合は一組求めてください。 - $ X_1 $ は十進法で $ A_1 $ 桁の整数である。 - $ X_2 $ は十進法で $ A_2 $ 桁の整数である。 - $ X_1 $ と $ X_2 $ の最小公倍数は十進法で $ A_3 $ 桁の整数である。 $ T $ 個のテストケースが与えられるので、それぞれについて答えを求めてください。

入力は以下の形式で標準入力から与えられる。 > $ T $ $ \text{case}_1 $ $ \text{case}_2 $ $ \vdots $ $ \text{case}_T $ 各テストケースは以下の形式で与えられる。 > $ A_1 $ $ A_2 $ $ A_3 $

各テストケースに対する答えを順に改行区切りで出力せよ。 各テストケースについて、条件を全て満たす $ (X_1,X_2) $ が存在しない場合は `No` と出力せよ。 そうでない場合、条件を全て満たす $ (X_1,X_2) $ を以下の形式で出力せよ。 > Yes $ X_1 $ $ X_2 $ 条件を満たす $ (X_1,X_2) $ が複数ある場合、どれを出力しても正答となる。

### Sample Explanation 1 $ 1 $ つ目のテストケースについて、 $ (X_1,X_2)=(2025,200) $ とすると $ X_1,X_2 $ の最小公倍数は $ 16200 $ となり条件を満たすことが分かります。その他にも $ (X_1,X_2)=(2025,125),(7777,231) $ などが条件を満たします。 ### Constraints - $ 1\le T\le 17^3 $ - $ 1\le A_1,A_2,A_3\le 17 $ - 入力される値は全て整数