Finiteness properties of formal local cohomology modules and Cohen-Macaulayness