Using N#CC1=C(O)C2C(c3ccc(CO)cc3)=CSC2NC1=O to produce N#CC1=C(O)C2C(c3ccc(C=O)cc3)=CSC2NC1=O, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.