If the solver didn't rank the implementations of an interface, just sort by version...