Using COC(=O)c1cnc(Cl)cn1, Cn1ccc(NC(=O)c2cc(O)cc(OC(CF)CF)c2)n1 to produce COC(=O)c1cnc(Oc2cc(OC(CF)CF)cc(C(=O)Nc3ccn(C)n3)c2)cn1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.