2574.sat