Using O=P12OP3(=O)OP(=O)(O1)OP(=O)(O2)O3, O=C1OC(F)(C(F)(F)F)C(F)(F)OC1(F)C(F)(F)F to produce O=C1OC(O)(C(F)(F)F)C(F)(F)OC1(F)C(F)(F)F, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.