Using N=CN, CC(=O)C(=CN(C)C)C(=O)Nc1cnc(-n2nc(C(F)(F)F)cc2C2CC2)nc1 to produce Cc1ncncc1C(=O)Nc1cnc(-n2nc(C(F)(F)F)cc2C2CC2)nc1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.