ToySolver.Converter.MaxSAT2IP