[firedrake] problem solving a linear system