2505.sat