2527.sat