2508.sat