13.75 kilotons of TNT