Began changes to solver to remember the factorizations.