Using C[C@H]1NC(=O)C(NC(=O)OC(C)(C)C)C[C@H]1c1c(F)ccc(F)c1F to produce C[C@H]1NC(=O)[C@@H](NC(=O)OC(C)(C)C)C[C@H]1c1c(F)ccc(F)c1F, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.