Consider the first order predicate formula ϕ:∀x [(∀z z|x ⇒ ((z = x) ∨ (z = 1))) ⇒ ∃w (w > x) ∧ (∀z z|w ⇒ ((w = z) ∨ (z = 1)))]Here ‘a|b’ denotes that ‘a divides b’, where a and b are integers. Consider the followingsets:S1. {1,2,3, ... , 100}S2. Set of all positive integersS3. Set of all integersWhich of the above sets satisfy φ?

• A. S1 and S2
• B. S1 and S3
• C. S2 and S3
• D. S1, S2 and S3