4827.sat