卜.sat