Both the SAT (3D ACIS model) and STL (Stereolithography) files are fairly common CAD formats, which means that they should be well supported in modern 3D modeling / CAD programs and it should be possible to convert sat to stl or vice versa.
You can also find dedicated CAD converters, such as the CrossManager, that are designed to transform models between various 3D formats.