Using C=Cc1ccc2c(c1)CCCC2=O, O=C(F)c1onc(-c2ccccc2)c1C(F)(F)F to produce C=Cc1ccc2c(c1)CCC(C(=O)c1onc(-c3ccccc3)c1C(F)(F)F)C2=O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.