Using O=C1CCC2(CC1)Cc1ccc(Br)cc1C2=O, NCC(F)(F)F to produce O=C1c2cc(Br)ccc2CC12CCC(NCC(F)(F)F)CC2, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.