Adding satis-s3