solver changes