solve_linear