Using FC(F)(F)c1ccc([C@@]23CNC[C@@H]2C3)cc1, Cc1nscc1-c1cn(CCC=O)c(=O)[nH]c1=O to produce Cc1nscc1-c1cn(CCCN2C[C@@H]3C[C@]3(c3ccc(C(F)(F)F)cc3)C2)c(=O)[nH]c1=O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.