Using O=C(O)c1cc(-c2cnn3cc(-c4cccnc4)cnc23)cs1, Cc1cccc(C(N)C(F)(F)F)n1 to produce Cc1cccc(C(NC(=O)c2cc(-c3cnn4cc(-c5cccnc5)cnc34)cs2)C(F)(F)F)n1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.