  We prove the higher integrability of the gradient for minimizers of the
thermal insulation problem, an analogue of De Giorgi's conjecture for the
Mumford-Shah functional. We deduce that the singular part of the free boundary
has Hausdorff dimension strictly less than $n-1$.
