solverもconfig.txtから読むようにした