Using Cn1ncnc1CO, Cc1ccc(S(=O)(=O)Oc2nn3c(-c4cc(F)ccc4F)nncc3c2C(C)(C)C)cc1 to produce Cn1ncnc1COc1nn2c(-c3cc(F)ccc3F)nncc2c1C(C)(C)C, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.