IPSec tunnel from mikrotik behind NAT with Cisco

RouterOS General
2

Maybe this could help? Not really what you are asking, but you might get some hints.