Using CC1C=Cc2cccc(P(c3ccccc3)c3ccccc3)c2N1, O=S([O-])[O-] to produce CC1C=Cc2cccc(P(=O)(c3ccccc3)c3ccccc3)c2N1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.