2529.sat