3D ACIS models (.sat) are fairly common CAD files and as such can be usually exported to other CAD formats, including some of the generic or exchange ones. Such sat to cad conversion can be usually done with some kind of export, or saving function.
Open SAT file Open CAD fileA CAD-CAM software for CNC Milling