Using Cc1nc(N2CCC(c3ccc(F)cc3)C3(COCOC3)C2)nc(=O)n1Cc1ccc(C(F)(F)F)s1 to produce Cc1nc(N2CCC(c3ccc(F)cc3)C(CO)(CO)C2)nc(=O)n1Cc1ccc(C(F)(F)F)s1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.