TSTP Solution File: HEN006-7 by SRASS---0.1