Using O=C1CCCCC1, O=C(c1ccc(Br)cc1)c1ccc(O)c(F)c1 to produce Oc1ccc(C(=C2CCCCC2)c2ccc(Br)cc2)cc1F, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.