Using O=C(Cl)OCC(Cl)(Cl)Cl, Cc1ccc(-n2nc(C(C)(CF)CF)cc2N)cc1 to produce Cc1ccc(-n2nc(C(C)(CF)CF)cc2NC(=O)OCC(Cl)(Cl)Cl)cc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.