31956 cubic miles of salt in tons