First version of the variants sorted, to yield the variants in the preferred order that they will be consumed by the solver phase