Using CCOC(=O)c1cc2ncnc(NCCc3cnc(NC(=O)Nc4cccc(C(F)(F)F)c4)s3)c2s1 to produce O=C(Nc1cccc(C(F)(F)F)c1)Nc1ncc(CCNc2ncnc3cc(C(=O)O)sc23)s1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.