untangle: add experimental auto-solver attempt.