Updated sats file

All functions we think we need are now listed.