Using COC(=O)Cn1cc(-c2cnc3nnn(Cc4ccc5ncccc5c4)c3n2)cn1 to produce O=C(O)Cn1cc(-c2cnc3nnn(Cc4ccc5ncccc5c4)c3n2)cn1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.