Using O=C(O)C(=O)NC1CC1, Nc1cccnc1Nc1ccc(Cl)c(F)c1 to produce O=C(NC1CC1)c1nc2cccnc2n1-c1ccc(Cl)c(F)c1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.