Using O=C1CCC(F)(F)CC1, CC(C)(C)OC(=O)C1CC1 to produce CC(C)(C)OC(=O)C1(C2(O)CCC(F)(F)CC2)CC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.