3527.sat