My first reaction was "of course", but checking things it looks you can only import and not export.
ProE not to keen on talking to Autodesk ???
If you have an acute problem I can help, since Ihave another CAD that outputs SAT. Send me a PM when needed.
Alex