2588.sat