potassium tert-butylate; 1,8-diazabicyclo[5.4.0]undec-7-ene in tert-butyl alcohol T=28°C; Rate constantEquilibrium constant;