How to create a *.sat file