expensive_solve)