My recent commits fixed decoding of 3DSOLID and now we are properly decoding and de-obfuscating embedded ACIS SAT files.
I found this PDF with a description of the SAT file format: http://local.wasp.uwa.edu.au/~pbourke/dataformats/sat/sat.pdf Happy Hacking, Felipe Sanches (Juca)