Średnie zasolenie Morza Czerwonego to ok. 42 promile. Z ilu kg wody z tego morza otrzymamy 10.5 kg soli?