Using COS(=O)(=O)OC, O=c1c2c([nH]n1-c1ccc(Cl)cc1F)CCCC2 to produce COc1c2c(nn1-c1ccc(Cl)cc1F)CCCC2, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.