Using O=C(O)C1(c2ccc3c(c2)OC(F)(F)O3)CC1, CC1(C)CCn2c1cc1cc(N)c(F)cc12 to produce CC1(C)CCn2c1cc1cc(NC(=O)C3(c4ccc5c(c4)OC(F)(F)O5)CC3)c(F)cc12, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.