Concurrent Quarto Solver