push a version to solve combinatorial