added PETSC (doesn't work)