removed MinBinProblem