Given a large set of linear equations, how can I efficiently find the minimal subset that’s solvable for a chosen variable (if such a subset exists)?