(expensive_solve)