solver now finds the minimum in the simple case