repaired test for solver