Using COC(=O)c1cn2c3c(c(F)c(F)cc3c1=O)CC(C)N2C to produce CC1Cc2c(F)c(F)cc3c(=O)c(C(=O)O)cn(c23)N1C, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.