how does it work?
guaranteed solvability (at high difficulty), and much faster than anything of that kind seen before.
