Porto ICPC World Finals 2019: And the winner is…