Using Cc1cc(N=C2NC3(CCCC3)CS2)nc(C)c1C#N, CC(C)CBr to produce Cc1cc(N=C2SCC3(CCCC3)N2CC(C)C)nc(C)c1C#N, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.