A sentence is unsatisfiable if and only if there is no truth assignment that satisfies it.