Three pigeons cannot be placed into two holes without collision; the CNF is unsatisfiable.