Fix solver-test