Solver no longer uses numbers more than once.