2576.sat