On exactly covering systems of arithmetic sequences