Using COC(=O)C1=CC2CCC1(CS(=O)(=O)N1CCN(c3ccccc3C)CC1)C2(C)C to produce Cc1ccccc1N1CCN(S(=O)(=O)CC23CCC(C=C2C(=O)O)C3(C)C)CC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.