Using O=C([O-])[O-], CCOC(=O)c1c[nH]c2cnc3c(F)c(F)ccc3c2c1=O to produce CCOC(=O)c1cn(C)c2cnc3c(F)c(F)ccc3c2c1=O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.