1077.sat