Using COc1ccc(CN2c3nc(-c4nn(Cc5ccccc5F)c5ncc(F)cc45)ncc3N(C)S2(=O)=O)c(OC)c1 to produce CN1c2cnc(-c3nn(Cc4ccccc4F)c4ncc(F)cc34)nc2NS1(=O)=O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.