optimization formu- lation