Using C[S+](C)(C)=O, CC(=O)NC[C@H]1CN(c2ccc(N3CCC(=C(C#N)C#N)CC3)cc2)C(=O)O1 to produce CC(=O)NC[C@H]1CN(c2ccc(N3CCC4(CC3)CC4(C#N)C#N)cc2)C(=O)O1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.