QUESTION 7
(**) Let F = x1 ^ (¬x1 \/ x2 \/ ¬x3) ^ (x2 \/ x3 \/ x4 \/ ¬x5). If F is reduced to a 3-SAT F' instance using the method given in
lectures, how many variables does F' contain? (Enter your answer in numerical form without any punctuation, e.g. "42"
without the surrounding quotes).