[firedrake] Solving PDE system