Using Brc1cnc2nc(NC3=NC[C@@]4(CN5CCC4CC5)O3)sc2n1 to produce c1cnc2sc(NC3=NC[C@@]4(CN5CCC4CC5)O3)nc2n1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.