>>242
力づくで解こうとすると20!÷(2^10)≒2.38e15 通りの候補
1GHzのサイクルでチェックできると仮定しても1ヶ月近く掛かるので、
コンピュータで解くにしても工夫したいところ。