we don't return semver any longer
get rid of redundant Solution term