Correct Answer : Option (A) : Original statement
Explanation : The CNF statement will be unsatisfiable just when the original sentence is unsatisfiable.