Using COC(=O)c1sc(-c2c(C)nn3ccccc23)nc1OS(=O)(=O)C(F)(F)F, C=CCB1OC(C)(C)C(C)(C)O1 to produce C=CCc1nc(-c2c(C)nn3ccccc23)sc1C(=O)OC, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.