better guessing
Much faster : deduction step stops when complete, not after 1000 interations