Importing a BAK file from e-learning

I am unable to import the BAK file from the e-learning course Process automation 2. There are two files, and not one of them is able to open. I have already let them open with Modeler which says "The file is invalid or corrupt.". And opening it with Bizagi Studio, doesn't pop up any process. It sticks at the wizard.

Worthwile to mention is that I am running Parallels on my Macbook, making use of Windows.

Initial data base Bizagi 11.2 (Current version) – SQL 2012FileCompleted: Initial data base Bizagi 11.2 (Current version) – SQL 2012

Initial data base Bizagi 11.2 (Current version) – SQL 2017FileCompleted: Initial data base Bizagi 11.2 (Current version) – SQL 2017