Distinguish satisfiable, valid, and a model.

Answer

Satisfiable = true under at least one interpretation; valid = true under every interpretation (a tautology); a model is an interpretation that makes the sentence (or set) true.

A set S is a model of X when every interpretation satisfying S also satisfies X, i.e. X logically follows from S.