Does denote the class of models of , i.e., does mean ?

As the hint says, by the compactness theorem there exists a finite subset of that is unsatisfiable. By dividing this subset into subsets of and we have two formulas and such that is unsatisfiable and is a conjunction of formulas from ( ). Try to go from there.