Using COC(=O)c1cccc(Cn2c(C)cc3c2ccc2nnc(C)n23)c1 to produce Cc1cc2c(ccc3nnc(C)n32)n1Cc1cccc(CO)c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.