solver updated