Using Cc1nc2cc(N)ccc2o1, O=C(O)c1cc2ccccc2n1-c1cccc(C(F)(F)F)c1 to produce Cc1nc2cc(NC(=O)c3cc4ccccc4n3-c3cccc(C(F)(F)F)c3)ccc2o1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.