https://stellarepic.com/zh/epic/entries/manila-galleon-trade/https://stellarepic.com/zh/epic/entries/satisfiability-modulo-theories/