Considering that both the VRML (.vrml, .wrl) and 3D ACIS (.sat) are fairly common 3D model formats and as such well-supported in various 3D modeling software and conversion utilities.
Even some free, open source 3D modeling programs should be able to help you wrl to sat conversion.