TSTP Solution File: HEN003-2 by SRASS---0.1