(bestedgeto[bj] == -1 or
                         slack(k) < slack(bestedgeto[bj]))):