Is that SAT file from Alibre or MoI?

Its made with the harmony ware translator. I wasn't aware that Alibre used that library...

Since Alibre is Acis based, the best export out should be the SAT format, from Alibre.....