AT_ttpc2015_d 文字列と素数

[problemUrl]: https://atcoder.jp/contests/ttpc2015/tasks/ttpc2015_d 文字列 $ S $ が与えられる。 以下の条件を満たす変換で $ S $ からある数への変換を行う。 - $ S $の各文字を `1`,`3`,`5`,`7`,`9` のいずれかの数字に変換する。 - 同じ文字は同じ数字に、異なる文字は異なる数字に変換しなくてはならない。 上の条件を満たす変換によって、文字列 $ S $ を素数に変換することできるだろうか。

入力は以下の形式で標準入力から与えられる。 > $ S $ - $ 1 $ 行で文字列 $ S $($ 1\ \leq\ |\ S\ |\ \leq\ 10 $)が与えられる。 - $ S $ の各文字は、英小文字である。

素数の変換先を得られる場合は、そのような素数を一つ出力してください。 素数の変換先がない場合は、$ -1 $ を出力してください。 素数の変換先が複数ある場合は、いずれを出力しても正解として扱われる。

### Sample Explanation 1 他にも、$ 151 $,$ 171 $,$ 191 $,$ 313 $,$ … $ のいずれかを出力しても正解として扱われる。 ### Sample Explanation 3 文字の種類が多すぎるため、条件を満たす変換を構成することができません。