Using C#C[C@@]1(O)CN2CCC1CC2, O=C1CCCN1c1ccc(OS(=O)(=O)C(F)(F)F)c(Cc2ccccc2)c1 to produce O=C1CCCN1c1ccc(C#C[C@@]2(O)CN3CCC2CC3)c(Cc2ccccc2)c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.