Using O=S(=O)(O)O, c1ccc(P(c2ccccc2)c2ccccc2)cc1 to produce O=S(=O)([O-])c1cccc(P(c2ccccc2)c2ccccc2)c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.