Explain briefly why, if there is a way to assign values to the variables in the instance of SAT that makes every clause True, then the graph used to generate the instance must be a split graph. Show how you would determine which vertices of G belong to which of the two subsets of V $.$