I calculate melting the antarctic ice sheet to be more like 2e15 tons (ignoring the heat required to bring it to the melting point).