Using CN1C(=O)NC(=O)[C@@]12Cc1ccc(NC(=O)CN3C(=O)C(C)(C)SC[C@H]3c3cc(F)cc(F)c3)cc1C2 to produce CC1(C)SC[C@@H](c2cc(F)cc(F)c2)NC1=O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.