4652.sat