corrected number of weights in python::SolutionGuarantor