Using CC1(N)C(=O)Nc2nc(-c3nn(CCC(F)(F)C(F)(F)F)c4ncccc34)nc(N)c21, O=CC1CC1 to produce CC1(NCC2CC2)C(=O)Nc2nc(-c3nn(CCC(F)(F)C(F)(F)F)c4ncccc34)nc(N)c21, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.