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