Fix solver test.