Using COC(=O)c1cc2c(CN3CCNC(=O)C3)cn(Cc3ccc(F)cc3)c2cn1 to produce O=C1CN(Cc2cn(Cc3ccc(F)cc3)c3cnc(C(=O)O)cc23)CCN1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.