5. An instance C of 3SAT consists of clauses c = (x1, x2, x3), C2 = (T2, T3, T4), C3 = (x1, x2, 74), ca (1,3,4), and c = (1, 2, 4). Answer the following questions about the mapping reduction f(C) (S,t) provided in lecture and applied to instance C. Note: this problem double counts for LO3. (a) What is the cardinality of S? (5 pts) (b) What is the numerical value of t? (5 pts) (c) What is the numerical value of the largest integer that belongs to S? Hint: use the clause ordering provided above. (7 pts) (d) Is (S,t) a positive instance? Explain and justify your answer. (8 pts)