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