Using CC(C)C[AlH]CC(C)C, CCOC(=O)[C@@H]1N[C@H]1c1cccs1 to produce OC1OC(C2NC2c2cccs2)N2C(c3cccs3)C12, please predict the solvent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.