Re-did the DLXsolver.