Using COC(=O)c1ccc2c(c1)c(-c1cncc(C3CC3)n1)cn2S(=O)(=O)c1ccc(C)cc1 to produce O=C(O)c1ccc2[nH]cc(-c3cncc(C4CC4)n3)c2c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.