[firedrake] Problems with the Linear Solver