Using O=C(O)C(F)(F)F, C[C@]1(Cn2cnc3ccc(C#N)cc32)CCC[C@]2(CO2)C1 to produce C[C@]1(Cn2cnc3ccc(C#N)cc32)CCC[C@@](O)(CO)C1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.