typo: solved => solver