corrected solver description