Using O=C(c1ccccc1)C(C/C=C/c1ccccc1)(Cc1ccc(OP(=O)(O)C(F)F)cc1)c1ccccc1 to produce O=P(O)(Oc1ccc(CC(CCCc2ccccc2)(Cc2ccccc2)c2ccccc2)cc1)C(F)F, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.