Using O=C=O, Cn1ccc2ccc(-c3ccc(C(F)(F)F)cc3)cc21 to produce Cn1cc(C(=O)O)c2ccc(-c3ccc(C(F)(F)F)cc3)cc21, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.