Using O=Cc1cnc2ccccc2c1, COC(=O)C(NC(=O)c1ccc(C(=O)CCc2cccc(O)c2)cc1Cl)P(=O)(OC)OC to produce COC(=O)/C(=C/c1cnc2ccccc2c1)NC(=O)c1ccc(C(=O)CCc2cccc(O)c2)cc1Cl, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.