Solver::run()の構造を変更
不要なコメントの削除