Using O=S(=O)(O)O, CN1CC(C(C#N)(c2ccccc2)c2ccccc2)C1 to produce CN1CC(C(C(N)=O)(c2ccccc2)c2ccccc2)C1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.