Re: [firedrake] Problems with the Linear Solver