Using COCOCc1cc(C(=O)C2CC2)ccn1, CCOC(=O)CP(=O)(OCC)OCC to produce CCOC(=O)C=C(c1ccnc(COCOC)c1)C1CC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.