Using O=C1C(C(F)(F)F)=C2c3ccc4[nH]nnc4c3C[C@]23CC[C@H]1C3 to produce O[C@H]1C(C(F)(F)F)=C2c3ccc4[nH]nnc4c3C[C@@]23CC[C@@H]1C3, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.