Refactor and test Problem::Solve.