Using CCOC(=O)CP(=O)(OCC)OCC, O=C(c1ccccc1)c1ccnnc1 to produce CCOC(=O)/C=C(\c1ccccc1)c1ccnnc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.