add solver OK