An efficient exact model for the cell formation problem with a variable number of production cells.