Using O=C1CC=C[C@@H]2CCC[C@H](c3cccc(F)c3)N12 to produce O=C1CCC[C@@H]2CCC[C@H](c3cccc(F)c3)N12, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.