Using CCC[P+](c1ccccc1)(c1ccccc1)c1ccccc1, CC1(C)OC(=O)c2ccccc2C1n1cncc1C=O to produce CCC=Cc1cncn1C1c2ccccc2C(=O)OC1(C)C, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.