Using CC(=O)OC(C)=O, CC1(C)CCC(C)(C)c2cc(CC/C=C(\CO)c3cccc(C(F)(F)F)c3)ccc21 to produce CC(=O)OC/C(=C\CCc1ccc2c(c1)C(C)(C)CCC2(C)C)c1cccc(C(F)(F)F)c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.