solverのdebug, westのsumの問題を修正した