Using C[C@H](NC(=O)OC(C)(C)C)C(=O)NCc1ccc(-n2nc(C(F)(F)F)cc2C(=O)O)s1, NCc1ccccc1 to produce C[C@H](NC(=O)OC(C)(C)C)C(=O)NCc1ccc(-n2nc(C(F)(F)F)cc2C(=O)NCc2ccccc2)s1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.