Using Cc1cc(-c2nc3ccc(C4(c5ccccc5)CC4)nc3s2)cc(C)c1O, OC[C@@H]1CO1 to produce Cc1cc(-c2nc3ccc(C4(c5ccccc5)CC4)nc3s2)cc(C)c1OC[C@H](O)CO, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.