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