2502.sat