2575.sat