Using CC(C)(C)OC(=O)N1CCCc2[nH]c3cc(-n4ccc(-c5ccc(C(F)(F)F)nn5)cc4=O)ccc3c2C1 to produce O=c1cc(-c2ccc(C(F)(F)F)nn2)ccn1-c1ccc2c3c([nH]c2c1)CCCNC3, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.