Solverのエンコード修正