TSTP Solution File: MSC009-1 by SRASS---0.1