Covert an intance of hitting set into CNF-formila o that

1) Contains as many clauses as sets in the collection of hitting set instance

2) Is defined over as many variables as there elements in the universe of hitting set instance. Show that Hitting Set less than or equal to p Monotone SAT w/True Vars