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