Using COS(=O)(=O)OC, C#CCn1c(=O)sc2cc(F)c(-n3c(=O)[nH]c(C(F)(F)F)c(C)c3=O)cc21 to produce C#CCn1c(=O)sc2cc(F)c(-n3c(=O)c(C)c(C(F)(F)F)n(C)c3=O)cc21, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.