Using COC(=O)c1cnc(-c2ccc(Cn3cnc4ccccc43)cc2)n1C to produce Cn1c(CO)cnc1-c1ccc(Cn2cnc3ccccc32)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.