テストケース内にはN<=16の制約でデータが入っています。

今は、実装が重い枝切りBFS探索が主流解法ですが、N<=200でも動くような閉じた解法を探しています。