Test SolutionWriter