fixes the rank changing problem, but leaves the unsat deadlock problem