Exact Solution of a Model of an Antiferroelectric Transition