Using O=C(O)c1cc2cc(F)ccc2n1Cc1cccc(F)c1, Cc1nc2cc(N)cnc2n1C to produce Cc1nc2cc(NC(=O)c3cc4cc(F)ccc4n3Cc3cccc(F)c3)cnc2n1C, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.