The Attic Insulation Problem