solver changed