Fix test solve.