Consider the following statements related to AND-OR Search algorithm.
- S1 : A solution is a subtree that has a goal node at every leaf.
- S2 : OR nodes are analogous to the branching in a deterministic environment
- S3 : AND nodes are analogous to the branching in a non-deterministic environment.
Which one of the following is true referencing the above statements ? Choose the correct answer from the code given below: