Using Cc1ncc(C)n2nc(C[P+](c3ccccc3)(c3ccccc3)c3ccccc3)nc12, O=Cc1cn2c(n1)-c1ccccc1C2 to produce Cc1ncc(C)n2nc(C=Cc3cn4c(n3)-c3ccccc3C4)nc12, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.