added comments to Solver