sat file