�@は０が含まれると３がペアになり、さらに０は千の位に来てはいけない
残りは１と５のペアか２と４のペアを使う。

これで考えたらあの式にいけるでしょう。