2594.sat