Exact Algorithms and Lower Bounds for Forming Coalitions of Constrained Maximum Size