lib.sat