TSTP Solution File: HWV047-1 by cocATP---0.2.0