Using CN(c1nc(C=O)n(C)n1)C1CC1, Cc1cc(C)n2nc(C[P+](c3ccccc3)(c3ccccc3)c3ccccc3)nc2n1 to produce Cc1cc(C)n2nc(C=Cc3nc(N(C)C4CC4)nn3C)nc2n1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.