果.sat