[math-fun] Sahara Mars meteorite