Using Cc1cc([C@H]2CC[C@H](c3nnc4n3-c3ccc(Cl)cc3CNC4)CC2)no1, O=S(=O)(OCC(F)F)C(F)(F)F to produce Cc1cc([C@H]2CC[C@H](c3nnc4n3-c3ccc(Cl)cc3CN(CC(F)F)C4)CC2)no1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.