干.sat