updated to new solver commit