add sat library