Using O=C1COCC(c2cccc(Br)c2)(C(F)F)N1, S=P12SP3(=S)SP(=S)(S1)SP(=S)(S2)S3 to produce FC(F)C1(c2cccc(Br)c2)COCC(=S)N1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.