Using COc1nc(N2CC3CSC(N)=NC3(c3cnccn3)C2)nc(C)c1F to produce COc1nc(N2C[C@H]3CSC(N)=N[C@@]3(c3cnccn3)C2)nc(C)c1F, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.