added solver calls