Solver done.

Runs 15.txt in 64s.