2580.sat