solver changes Deni