Using CC1(C)C/C(=C\CSC(=N)N)c2cc(-c3cccc(Br)c3)sc2C1 to produce CC1(C)Cc2sc(-c3cccc(Br)c3)cc2C2(CCSC(N)=N2)C1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.