alternative

Alternatively, one could simply type

> solve({op(eqns)},indets(eqns) minus {a});