Which one of the following statements is TRUE?

Consider the augmented grammar with {+, *, (, ), id} as the set of terminals.

S' $$\to$$ S

S $$\to$$ S + R | R

R $$\to$$ R * P | P

P $$\to$$ (S) | id

If I₀ is the set of two LR(0) items {[S' $$\to$$ S.], [S $$\to$$ S. + R]}, then goto(closure(I₀), +) contains exactly _________ items.

Consider the following statements.

S₁ : Every SLR(1) grammar is unambiguous but there are certain unambiguous grammars that are not SLR(1).

S₂ : For any context-free grammar, there is a parser that takes at most O(n³) time to parse a string of length n.

Which one of the following option is correct?