Using CC(=O)N1CC=C(c2ncc(NC(=O)c3cnn(-c4ccc(C(F)(F)F)cn4)c3C)cc2C)CC1 to produce CC(=O)N1CCC(c2ncc(NC(=O)c3cnn(-c4ccc(C(F)(F)F)cn4)c3C)cc2C)CC1, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.