2504.sat